Symbol: a2_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:708:2-708:43: u64 a2_ = a2 - (0x7ffffffffffffLLU & mask);