Symbol: t2__

variable

Defined...

• lib/crypto/curve25519-hacl64.c:637:2-637:19: u64 t2__ = t2_ & 0x7ffffffffffffLLU;
• lib/crypto/curve25519-hacl64.c:665:2-665:19: u64 t2__ = t2_ & 0x7ffffffffffffLLU;