Searched defs:t4_ (Results 1 – 2 of 2) sorted by relevance
451 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local479 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local
496 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local524 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local