Lines Matching refs:s17
1083 int64_t s17 = 2097151 & (load_4(s + 44) >> 5); in x25519_sc_reduce() local
1172 s17 += carry16; in x25519_sc_reduce()
1191 s5 += s17 * 666643; in x25519_sc_reduce()
1192 s6 += s17 * 470296; in x25519_sc_reduce()
1193 s7 += s17 * 654183; in x25519_sc_reduce()
1194 s8 -= s17 * 997805; in x25519_sc_reduce()
1195 s9 += s17 * 136657; in x25519_sc_reduce()
1196 s10 -= s17 * 683901; in x25519_sc_reduce()
1197 s17 = 0; in x25519_sc_reduce()
1461 int64_t s17; in sc_muladd() local
1518 s17 = a6 * b11 + a7 * b10 + a8 * b9 + a9 * b8 + a10 * b7 + a11 * b6; in sc_muladd()
1551 s17 += carry16; in sc_muladd()
1587 carry17 = (s17 + (1 << 20)) >> 21; in sc_muladd()
1589 s17 -= int64_lshift21(carry17); in sc_muladd()
1661 s17 += carry16; in sc_muladd()
1680 s5 += s17 * 666643; in sc_muladd()
1681 s6 += s17 * 470296; in sc_muladd()
1682 s7 += s17 * 654183; in sc_muladd()
1683 s8 -= s17 * 997805; in sc_muladd()
1684 s9 += s17 * 136657; in sc_muladd()
1685 s10 -= s17 * 683901; in sc_muladd()
1686 s17 = 0; in sc_muladd()