Searched refs:fiat_p256_subborrowx_u32 (Results 1 – 1 of 1) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | p256_32.h | 45 static void fiat_p256_subborrowx_u32(uint32_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, u… in fiat_p256_subborrowx_u32() function
1083 fiat_p256_subborrowx_u32(&x663, &x664, 0x0, x645, UINT32_C(0xffffffff)); in fiat_p256_mul()
1086 fiat_p256_subborrowx_u32(&x665, &x666, x664, x647, UINT32_C(0xffffffff)); in fiat_p256_mul()
1089 fiat_p256_subborrowx_u32(&x667, &x668, x666, x649, UINT32_C(0xffffffff)); in fiat_p256_mul()
1092 fiat_p256_subborrowx_u32(&x669, &x670, x668, x651, 0x0); in fiat_p256_mul()
1095 fiat_p256_subborrowx_u32(&x671, &x672, x670, x653, 0x0); in fiat_p256_mul()
1098 fiat_p256_subborrowx_u32(&x673, &x674, x672, x655, 0x0); in fiat_p256_mul()
1101 fiat_p256_subborrowx_u32(&x675, &x676, x674, x657, 0x1); in fiat_p256_mul()
1104 fiat_p256_subborrowx_u32(&x677, &x678, x676, x659, UINT32_C(0xffffffff)); in fiat_p256_mul()
1107 fiat_p256_subborrowx_u32(&x679, &x680, x678, x661, 0x0); in fiat_p256_mul()
[all …]
|