Home
last modified time | relevance | path

Searched refs:FStar_UInt128_logand (Results 1 – 4 of 4) sorted by relevance

/mbedtls-3.4.0/3rdparty/everest/include/everest/kremlib/
DFStar_UInt128.h40 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
/mbedtls-3.4.0/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c85 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
291 FStar_UInt128_logand;
/mbedtls-3.4.0/3rdparty/everest/library/legacy/
DHacl_Curve25519.c24 FStar_UInt128_logand(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
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_()
398 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_fscalar()
/mbedtls-3.4.0/3rdparty/everest/library/
DHacl_Curve25519.c21 extern uint128_t FStar_UInt128_logand(uint128_t x0, uint128_t x1);