Symbol: a0_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:704:2-704:43: u64 a0_ = a0 - (0x7ffffffffffedLLU & mask);