Home
last modified time | relevance | path

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

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c446 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() local
474 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass() local
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c491 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() local
519 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass() local