Home
last modified time | relevance | path

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

/mbedtls-development/3rdparty/everest/library/
A DHacl_Curve25519.c442 uint64_t t2 = input[2U]; in Hacl_EC_Format_fcontract_first_carry_pass() local
447 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()
470 uint64_t t2 = input[2U]; in Hacl_EC_Format_fcontract_second_carry_pass() local
475 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()
533 uint64_t t2 = input[2U]; in Hacl_EC_Format_fcontract_store() local
537 uint64_t o1 = t2 << (uint32_t)38U | t1 >> (uint32_t)13U; in Hacl_EC_Format_fcontract_store()
538 uint64_t o2 = t3 << (uint32_t)25U | t2 >> (uint32_t)26U; in Hacl_EC_Format_fcontract_store()
/mbedtls-development/3rdparty/everest/library/legacy/
A DHacl_Curve25519.c487 uint64_t t2 = input[2U]; in Hacl_EC_Format_fcontract_first_carry_pass() local
492 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()
515 uint64_t t2 = input[2U]; in Hacl_EC_Format_fcontract_second_carry_pass() local
520 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()
578 uint64_t t2 = input[2U]; in Hacl_EC_Format_fcontract_store() local
582 uint64_t o1 = t2 << (uint32_t)38U | t1 >> (uint32_t)13U; in Hacl_EC_Format_fcontract_store()
583 uint64_t o2 = t3 << (uint32_t)25U | t2 >> (uint32_t)26U; in Hacl_EC_Format_fcontract_store()

Completed in 7 milliseconds