Symbol: t0_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:633:2-633:17: u64 t0_ = t0 & 0x7ffffffffffffLLU;
• lib/crypto/curve25519-hacl64.c:661:2-661:17: u64 t0_ = t0 & 0x7ffffffffffffLLU;