Symbol: t4_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:638:2-638:27: u64 t4_ = t4 + (t3_ >> 51);
• lib/crypto/curve25519-hacl64.c:666:2-666:27: u64 t4_ = t4 + (t3_ >> 51);