Lines Matching refs:carry13
3830 int64_t carry13; in x25519_sc_reduce() local
3911 carry13 = (s13 + (1 << 20)) >> 21; in x25519_sc_reduce()
3912 s14 += carry13; in x25519_sc_reduce()
3913 s13 -= carry13 << 21; in x25519_sc_reduce()
4208 int64_t carry13; in sc_muladd() local
4308 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
4309 s14 += carry13; in sc_muladd()
4310 s13 -= carry13 << 21; in sc_muladd()
4400 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
4401 s14 += carry13; in sc_muladd()
4402 s13 -= carry13 << 21; in sc_muladd()