Searched refs:fiat_25519_subborrowx_u25 (Results 1 – 1 of 1) sorted by relevance
| /mcuboot-3.4.0/ext/fiat/src/ |
| D | curve25519.h | 140 static void fiat_25519_subborrowx_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u25() function
631 fiat_25519_subborrowx_u25(&x3, &x4, x2, (arg1[1]), UINT32_C(0x1ffffff)); in fiat_25519_to_bytes()
637 fiat_25519_subborrowx_u25(&x7, &x8, x6, (arg1[3]), UINT32_C(0x1ffffff)); in fiat_25519_to_bytes()
643 fiat_25519_subborrowx_u25(&x11, &x12, x10, (arg1[5]), UINT32_C(0x1ffffff)); in fiat_25519_to_bytes()
649 fiat_25519_subborrowx_u25(&x15, &x16, x14, (arg1[7]), UINT32_C(0x1ffffff)); in fiat_25519_to_bytes()
655 fiat_25519_subborrowx_u25(&x19, &x20, x18, (arg1[9]), UINT32_C(0x1ffffff)); in fiat_25519_to_bytes()
|
