Symbol: t4_

variable

Defined...

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