Home
last modified time | relevance | path

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

/external/rust/crates/ring/third_party/fiat/
Dcurve25519_64.h58 static void fiat_25519_subborrowx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u51() function
374 fiat_25519_subborrowx_u51(&x1, &x2, 0x0, (arg1[0]), UINT64_C(0x7ffffffffffed)); in fiat_25519_to_bytes()
377 fiat_25519_subborrowx_u51(&x3, &x4, x2, (arg1[1]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
380 fiat_25519_subborrowx_u51(&x5, &x6, x4, (arg1[2]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
383 fiat_25519_subborrowx_u51(&x7, &x8, x6, (arg1[3]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
386 fiat_25519_subborrowx_u51(&x9, &x10, x8, (arg1[4]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
/external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/
Dcurve25519_64.h58 static void fiat_25519_subborrowx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u51() function
374 fiat_25519_subborrowx_u51(&x1, &x2, 0x0, (arg1[0]), UINT64_C(0x7ffffffffffed)); in fiat_25519_to_bytes()
377 fiat_25519_subborrowx_u51(&x3, &x4, x2, (arg1[1]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
380 fiat_25519_subborrowx_u51(&x5, &x6, x4, (arg1[2]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
383 fiat_25519_subborrowx_u51(&x7, &x8, x6, (arg1[3]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
386 fiat_25519_subborrowx_u51(&x9, &x10, x8, (arg1[4]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
/external/boringssl/src/third_party/fiat/
Dcurve25519_64.h58 static void fiat_25519_subborrowx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u51() function
374 fiat_25519_subborrowx_u51(&x1, &x2, 0x0, (arg1[0]), UINT64_C(0x7ffffffffffed)); in fiat_25519_to_bytes()
377 fiat_25519_subborrowx_u51(&x3, &x4, x2, (arg1[1]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
380 fiat_25519_subborrowx_u51(&x5, &x6, x4, (arg1[2]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
383 fiat_25519_subborrowx_u51(&x7, &x8, x6, (arg1[3]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()
386 fiat_25519_subborrowx_u51(&x9, &x10, x8, (arg1[4]), UINT64_C(0x7ffffffffffff)); in fiat_25519_to_bytes()