Home
last modified time | relevance | path

Searched refs:mask0 (Results 1 – 2 of 2) sorted by relevance

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c511 uint64_t mask0 = FStar_UInt64_gte_mask(a0, (uint64_t)0x7ffffffffffedU); in Hacl_EC_Format_fcontract_trim() local
516 uint64_t mask = (((mask0 & mask1) & mask2) & mask3) & mask4; in Hacl_EC_Format_fcontract_trim()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c556 uint64_t mask0 = FStar_UInt64_gte_mask(a0, (uint64_t)0x7ffffffffffedU); in Hacl_EC_Format_fcontract_trim() local
561 uint64_t mask = (((mask0 & mask1) & mask2) & mask3) & mask4; in Hacl_EC_Format_fcontract_trim()