Searched refs:fiat_p256_mulx_u64 (Results 1 – 1 of 1) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | p256_64.h | 63 static void fiat_p256_mulx_u64(uint64_t* out1, uint64_t* out2, uint64_t arg1, uint64_t arg2) { in fiat_p256_mulx_u64() function
100 fiat_p256_mulx_u64(&x5, &x6, x4, (arg2[3])); in fiat_p256_mul()
103 fiat_p256_mulx_u64(&x7, &x8, x4, (arg2[2])); in fiat_p256_mul()
106 fiat_p256_mulx_u64(&x9, &x10, x4, (arg2[1])); in fiat_p256_mul()
109 fiat_p256_mulx_u64(&x11, &x12, x4, (arg2[0])); in fiat_p256_mul()
124 fiat_p256_mulx_u64(&x21, &x22, x11, UINT64_C(0xffffffff00000001)); in fiat_p256_mul()
127 fiat_p256_mulx_u64(&x23, &x24, x11, UINT32_C(0xffffffff)); in fiat_p256_mul()
130 fiat_p256_mulx_u64(&x25, &x26, x11, UINT64_C(0xffffffffffffffff)); in fiat_p256_mul()
157 fiat_p256_mulx_u64(&x43, &x44, x1, (arg2[3])); in fiat_p256_mul()
160 fiat_p256_mulx_u64(&x45, &x46, x1, (arg2[2])); in fiat_p256_mul()
[all …]
|