Lines Matching refs:s13
733 int64_t s13 = 2097151 & (load_3(s + 34) >> 1); in x25519_sc_reduce() local
764 s13 += s23 * 654183; in x25519_sc_reduce()
773 s13 -= s22 * 997805; in x25519_sc_reduce()
782 s13 += s21 * 136657; in x25519_sc_reduce()
791 s13 -= s20 * 683901; in x25519_sc_reduce()
820 s13 += carry12; in x25519_sc_reduce()
838 carry13 = (s13 + (1 << 20)) >> 21; in x25519_sc_reduce()
840 s13 -= int64_lshift21(carry13); in x25519_sc_reduce()
877 s1 += s13 * 666643; in x25519_sc_reduce()
878 s2 += s13 * 470296; in x25519_sc_reduce()
879 s3 += s13 * 654183; in x25519_sc_reduce()
880 s4 -= s13 * 997805; in x25519_sc_reduce()
881 s5 += s13 * 136657; in x25519_sc_reduce()
882 s6 -= s13 * 683901; in x25519_sc_reduce()
883 s13 = 0; in x25519_sc_reduce()