t4 (reference) in projects: mbedtls-development

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

/mbedtls-development/3rdparty/everest/library/
A D	Hacl_Curve25519.c	444 uint64_t t4 = input[4U]; 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() 472 uint64_t t4 = input[4U]; 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() 535 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_store() local 539 uint64_t o3 = t4 << (uint32_t)12U \| t3 >> (uint32_t)39U; in Hacl_EC_Format_fcontract_store()
/mbedtls-development/3rdparty/everest/library/legacy/
A D	Hacl_Curve25519.c	489 uint64_t t4 = input[4U]; 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() 517 uint64_t t4 = input[4U]; 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() 580 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_store() local 584 uint64_t o3 = t4 << (uint32_t)12U \| t3 >> (uint32_t)39U; in Hacl_EC_Format_fcontract_store()

Completed in 7 milliseconds