Searched refs:FStar_UInt128_mul_wide (Results 1 – 4 of 4) sorted by relevance
| /mbedtls-3.4.0/3rdparty/everest/library/legacy/ |
| D | Hacl_Curve25519.c | 32 extern FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x0, uint64_t x1);
67 output[i] = FStar_UInt128_add_mod(xi, FStar_UInt128_mul_wide(yi, s)); in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
155 FStar_UInt128_mul_wide((uint64_t)19U, in Hacl_Bignum_Fmul_fmul()
184 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(r0, r0), in Hacl_Bignum_Fsquare_fsquare__()
185 FStar_UInt128_mul_wide(d4, r1)), in Hacl_Bignum_Fsquare_fsquare__()
186 FStar_UInt128_mul_wide(d2, r3)); in Hacl_Bignum_Fsquare_fsquare__()
189 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r1), in Hacl_Bignum_Fsquare_fsquare__()
190 FStar_UInt128_mul_wide(d4, r2)), in Hacl_Bignum_Fsquare_fsquare__()
191 FStar_UInt128_mul_wide(r3 * (uint64_t)19U, r3)); in Hacl_Bignum_Fsquare_fsquare__()
194 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r2), in Hacl_Bignum_Fsquare_fsquare__()
[all …]
|
| /mbedtls-3.4.0/3rdparty/everest/include/everest/kremlib/ |
| D | FStar_UInt128.h | 121 FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /mbedtls-3.4.0/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt128_extracted.c | 409 FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide() function
|
| /mbedtls-3.4.0/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 29 extern uint128_t FStar_UInt128_mul_wide(uint64_t x0, uint64_t x1);
|
