Home
last modified time | relevance | path

Searched refs:FStar_UInt128_uint64_to_uint128 (Results 1 - 4 of 4) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/legacy/
H A DHacl_Curve25519.c28 extern FStar_UInt128_uint128 FStar_UInt128_uint64_to_uint128(uint64_t x0);
81 tmp[ctr] = FStar_UInt128_uint64_to_uint128(r0); in Hacl_Bignum_Fproduct_carry_wide_()
137 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_Fmul_fmul()
152 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fmul_fmul()
228 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fsquare_fsquare_()
266 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_Fsquare_fsquare_times()
281 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_Fsquare_fsquare_times_inplace()
380 tmp[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_fscalar()
398 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_fscalar()
/third_party/mbedtls/3rdparty/everest/include/everest/kremlib/
H A DFStar_UInt128.h66 FStar_UInt128_uint128 FStar_UInt128_uint64_to_uint128(uint64_t a);
/third_party/mbedtls/3rdparty/everest/library/kremlib/
H A DFStar_UInt128_extracted.c252 FStar_UInt128_uint128 FStar_UInt128_uint64_to_uint128(uint64_t a) in FStar_UInt128_uint64_to_uint128() function
/third_party/mbedtls/3rdparty/everest/library/
H A DHacl_Curve25519.c25 extern uint128_t FStar_UInt128_uint64_to_uint128(uint64_t x0);

Completed in 9 milliseconds