Searched refs:t4_ (Results 1 – 3 of 3) sorted by relevance
451 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local457 input[4U] = t4_; in Hacl_EC_Format_fcontract_first_carry_pass()479 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local485 input[4U] = t4_; in Hacl_EC_Format_fcontract_second_carry_pass()
496 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local502 input[4U] = t4_; in Hacl_EC_Format_fcontract_first_carry_pass()524 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local530 input[4U] = t4_; in Hacl_EC_Format_fcontract_second_carry_pass()
58572 zh&^9HCda_%F~pazq2uGQi{tMRooE0+F5lwVw~)t4_{K@d<~!*8JJ`f2w0jD1;d|Kk