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

/mbedtls-development/3rdparty/everest/library/
A D	Hacl_Curve25519.c	445 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); 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() 448 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() 473 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); 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() 476 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()
/mbedtls-development/3rdparty/everest/library/legacy/
A D	Hacl_Curve25519.c	490 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); 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() 493 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass() 518 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); 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() 521 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()

Completed in 6 milliseconds

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