Lines Matching refs:carry12
3829 int64_t carry12; in x25519_sc_reduce() local
3892 carry12 = (s12 + (1 << 20)) >> 21; in x25519_sc_reduce()
3893 s13 += carry12; in x25519_sc_reduce()
3894 s12 -= carry12 << 21; in x25519_sc_reduce()
4207 int64_t carry12; in sc_muladd() local
4271 carry12 = (s12 + (1 << 20)) >> 21; in sc_muladd()
4272 s13 += carry12; in sc_muladd()
4273 s12 -= carry12 << 21; in sc_muladd()
4381 carry12 = (s12 + (1 << 20)) >> 21; in sc_muladd()
4382 s13 += carry12; in sc_muladd()
4383 s12 -= carry12 << 21; in sc_muladd()