Symbol: t2_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:634:2-634:27: u64 t2_ = t2 + (t1_ >> 51);
• lib/crypto/curve25519-hacl64.c:662:2-662:27: u64 t2_ = t2 + (t1_ >> 51);