Searched refs:Hacl_EC_Format_fcontract_second_carry_full (Results 1 – 2 of 2) sorted by relevance
533 static void Hacl_EC_Format_fcontract_second_carry_full(uint64_t *input) in Hacl_EC_Format_fcontract_second_carry_full() function598 Hacl_EC_Format_fcontract_second_carry_full(input); in Hacl_EC_Format_fcontract()
488 static void Hacl_EC_Format_fcontract_second_carry_full(uint64_t *input) in Hacl_EC_Format_fcontract_second_carry_full() function553 Hacl_EC_Format_fcontract_second_carry_full(input); in Hacl_EC_Format_fcontract()