Searched defs:t4 (Results 1 – 3 of 3) sorted by relevance
444 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_first_carry_pass() local472 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_second_carry_pass() local535 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_store() local
489 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_first_carry_pass() local517 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_second_carry_pass() local580 uint64_t t4 = input[4U]; in Hacl_EC_Format_fcontract_store() local
1337 uint32_t xr[8], k[8], t3[8], t4[8]; in p256_ecdsa_sign() local