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

/mbedtls-development/3rdparty/everest/library/
A D	Hacl_Curve25519.c	447 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local 449 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() 450 uint64_t t2__ = t2_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() 475 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local 477 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() 478 uint64_t t2__ = t2_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()
/mbedtls-development/3rdparty/everest/library/legacy/
A D	Hacl_Curve25519.c	492 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local 494 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() 495 uint64_t t2__ = t2_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() 520 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local 522 uint64_t t3_ = t3 + (t2_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() 523 uint64_t t2__ = t2_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023