Home
last modified time | relevance | path

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

/third_party/mbedtls/3rdparty/everest/library/legacy/
DHacl_Curve25519.c493 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() local
521 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass() local
/third_party/mbedtls/3rdparty/everest/library/
DHacl_Curve25519.c448 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() local
476 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass() local