Symbol: a1_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:705:2-705:43: u64 a1_ = a1 - (0x7ffffffffffffLLU & mask);