Searched refs:Hacl_EC_Format_fcontract_first_carry_pass (Results 1 – 2 of 2) sorted by relevance
438 static void Hacl_EC_Format_fcontract_first_carry_pass(uint64_t *input) in Hacl_EC_Format_fcontract_first_carry_pass() function462 Hacl_EC_Format_fcontract_first_carry_pass(input); in Hacl_EC_Format_fcontract_first_carry_full()
483 static void Hacl_EC_Format_fcontract_first_carry_pass(uint64_t *input) in Hacl_EC_Format_fcontract_first_carry_pass() function507 Hacl_EC_Format_fcontract_first_carry_pass(input); in Hacl_EC_Format_fcontract_first_carry_full()