Lines Matching refs:carry13
1103 int64_t carry13; in x25519_sc_reduce() local
1184 carry13 = (s13 + (1 << 20)) >> 21; in x25519_sc_reduce()
1185 s14 += carry13; in x25519_sc_reduce()
1186 s13 -= int64_lshift21(carry13); in x25519_sc_reduce()
1481 int64_t carry13; in sc_muladd() local
1581 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
1582 s14 += carry13; in sc_muladd()
1583 s13 -= int64_lshift21(carry13); in sc_muladd()
1673 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
1674 s14 += carry13; in sc_muladd()
1675 s13 -= int64_lshift21(carry13); in sc_muladd()