Symbol: a2_

variable

Defined...

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