Searched refs:fiat_25519_cmovznz_u64 (Results 1 – 1 of 1) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | curve25519_64.h | 58 static void fiat_25519_cmovznz_u64(uint64_t* out1, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t a… in fiat_25519_cmovznz_u64() function
332 fiat_25519_cmovznz_u64(&x1, arg1, (arg2[0]), (arg3[0])); in fiat_25519_selectznz()
334 fiat_25519_cmovznz_u64(&x2, arg1, (arg2[1]), (arg3[1])); in fiat_25519_selectznz()
336 fiat_25519_cmovznz_u64(&x3, arg1, (arg2[2]), (arg3[2])); in fiat_25519_selectznz()
338 fiat_25519_cmovznz_u64(&x4, arg1, (arg2[3]), (arg3[3])); in fiat_25519_selectznz()
340 fiat_25519_cmovznz_u64(&x5, arg1, (arg2[4]), (arg3[4])); in fiat_25519_selectznz()
371 fiat_25519_cmovznz_u64(&x11, x10, 0x0, UINT64_C(0xffffffffffffffff)); in fiat_25519_to_bytes()
|