Home
last modified time | relevance | path

Searched refs:t3_ (Results 1 - 2 of 2) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/legacy/
H A DHacl_Curve25519.c494 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local
496 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()
497 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass()
522 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local
524 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()
525 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()
/third_party/mbedtls/3rdparty/everest/library/
H A DHacl_Curve25519.c449 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local
451 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()
452 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass()
477 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local
479 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()
480 uint64_t t3__ = t3_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()

Completed in 4 milliseconds