Searched refs:Hacl_EC_Format_fcontract_first_carry_full (Results 1 – 2 of 2) sorted by relevance
460 static void Hacl_EC_Format_fcontract_first_carry_full(uint64_t *input) in Hacl_EC_Format_fcontract_first_carry_full() function552 Hacl_EC_Format_fcontract_first_carry_full(input); in Hacl_EC_Format_fcontract()
505 static void Hacl_EC_Format_fcontract_first_carry_full(uint64_t *input) in Hacl_EC_Format_fcontract_first_carry_full() function597 Hacl_EC_Format_fcontract_first_carry_full(input); in Hacl_EC_Format_fcontract()