Home
last modified time | relevance | path

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

/mcuboot-3.4.0/ext/fiat/src/
Dcurve25519.c725 int64_t s4 = 2097151 & (load_4(s + 10) >> 4); in x25519_sc_reduce() local
854 s4 += s16 * 666643; in x25519_sc_reduce()
863 s4 += s15 * 470296; in x25519_sc_reduce()
872 s4 += s14 * 654183; in x25519_sc_reduce()
881 s4 -= s13 * 997805; in x25519_sc_reduce()
890 s4 += s12 * 136657; in x25519_sc_reduce()
900 carry4 = (s4 + (1 << 20)) >> 21; in x25519_sc_reduce()
902 s4 -= int64_lshift21(carry4); in x25519_sc_reduce()
917 s4 += carry3; in x25519_sc_reduce()
936 s4 += s12 * 136657; in x25519_sc_reduce()
[all …]