Searched refs:uint128_t (Results 1 – 2 of 2) sorted by relevance
| /mbedtls-latest/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 17 extern uint128_t FStar_UInt128_add(uint128_t x0, uint128_t x1);
19 extern uint128_t FStar_UInt128_add_mod(uint128_t x0, uint128_t x1);
21 extern uint128_t FStar_UInt128_logand(uint128_t x0, uint128_t x1);
23 extern uint128_t FStar_UInt128_shift_right(uint128_t x0, uint32_t x1);
25 extern uint128_t FStar_UInt128_uint64_to_uint128(uint64_t x0);
27 extern uint64_t FStar_UInt128_uint128_to_uint64(uint128_t x0);
29 extern uint128_t FStar_UInt128_mul_wide(uint64_t x0, uint64_t x1);
41 inline static void Hacl_Bignum_Fproduct_copy_from_wide_(uint64_t *output, uint128_t *input) in Hacl_Bignum_Fproduct_copy_from_wide_()
46 uint128_t xi = input[i]; in Hacl_Bignum_Fproduct_copy_from_wide_()
52 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(uint128_t *output, uint64_t *input, uint64_t s) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
[all …]
|
| /mbedtls-latest/3rdparty/everest/include/everest/kremlin/internal/ |
| D | types.h | 59 typedef FStar_UInt128_uint128 FStar_UInt128_t, FStar_UInt128_t_, uint128_t; typedef
|
