Symbol: a3_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:707:2-707:43: u64 a3_ = a3 - (0x7ffffffffffffLLU & mask);