Home
last modified time | relevance | path

Searched defs:mask1 (Results 1 – 2 of 2) sorted by relevance

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c512 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim() local
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c557 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim() local