Symbol: t1_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:632:2-632:26: u64 t1_ = t1 + (t0 >> 51);
• lib/crypto/curve25519-hacl64.c:660:2-660:26: u64 t1_ = t1 + (t0 >> 51);