Home
last modified time | relevance | path

Searched refs:s13 (Results 1 – 1 of 1) sorted by relevance

/mcuboot-latest/ext/fiat/src/
Dcurve25519.c733 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()
[all …]