Lines Matching refs:carry12
4653 int64_t carry12; in x25519_sc_reduce() local
4716 carry12 = (s12 + (1 << 20)) >> 21; in x25519_sc_reduce()
4717 s13 += carry12; in x25519_sc_reduce()
4718 s12 -= carry12 * (1 << 21); in x25519_sc_reduce()
5034 int64_t carry12; in sc_muladd() local
5089 carry12 = (s12 + (1 << 20)) >> 21; in sc_muladd()
5090 s13 += carry12; in sc_muladd()
5091 s12 -= carry12 * (1 << 21); in sc_muladd()
5199 carry12 = (s12 + (1 << 20)) >> 21; in sc_muladd()
5200 s13 += carry12; in sc_muladd()
5201 s12 -= carry12 * (1 << 21); in sc_muladd()