Home
last modified time | relevance | path

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

/third_party/mbedtls/3rdparty/everest/library/
DHacl_Curve25519.c452 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() local
456 input[3U] = t3__; in Hacl_EC_Format_fcontract_first_carry_pass()
480 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass() local
484 input[3U] = t3__; in Hacl_EC_Format_fcontract_second_carry_pass()
/third_party/mbedtls/3rdparty/everest/library/legacy/
DHacl_Curve25519.c497 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() local
501 input[3U] = t3__; in Hacl_EC_Format_fcontract_first_carry_pass()
525 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass() local
529 input[3U] = t3__; in Hacl_EC_Format_fcontract_second_carry_pass()