Searched refs:fiat_25519_addcarryx_u51 (Results 1 – 1 of 1) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | curve25519_64.h | 25 static void fiat_25519_addcarryx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1,… in fiat_25519_addcarryx_u51() function
374 fiat_25519_addcarryx_u51(&x12, &x13, 0x0, (x11 & UINT64_C(0x7ffffffffffed)), x1); in fiat_25519_to_bytes()
377 fiat_25519_addcarryx_u51(&x14, &x15, x13, (x11 & UINT64_C(0x7ffffffffffff)), x3); in fiat_25519_to_bytes()
380 fiat_25519_addcarryx_u51(&x16, &x17, x15, (x11 & UINT64_C(0x7ffffffffffff)), x5); in fiat_25519_to_bytes()
383 fiat_25519_addcarryx_u51(&x18, &x19, x17, (x11 & UINT64_C(0x7ffffffffffff)), x7); in fiat_25519_to_bytes()
386 fiat_25519_addcarryx_u51(&x20, &x21, x19, (x11 & UINT64_C(0x7ffffffffffff)), x9); in fiat_25519_to_bytes()
|