Home
last modified time | relevance | path

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

/third_party/mbedtls/3rdparty/everest/library/legacy/
H A DHacl_Curve25519.c496 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local
502 input[4U] = t4_; in Hacl_EC_Format_fcontract_first_carry_pass()
524 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local
530 input[4U] = t4_; in Hacl_EC_Format_fcontract_second_carry_pass()
/third_party/mbedtls/3rdparty/everest/library/
H A DHacl_Curve25519.c451 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local
457 input[4U] = t4_; in Hacl_EC_Format_fcontract_first_carry_pass()
479 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local
485 input[4U] = t4_; in Hacl_EC_Format_fcontract_second_carry_pass()

Completed in 3 milliseconds