Searched refs:Hacl_Bignum_Modulo_carry_top (Results 1 – 2 of 2) sorted by relevance
31 static void Hacl_Bignum_Modulo_carry_top(uint64_t *b) in Hacl_Bignum_Modulo_carry_top() function463 Hacl_Bignum_Modulo_carry_top(input); in Hacl_EC_Format_fcontract_first_carry_full()495 Hacl_Bignum_Modulo_carry_top(input); in Hacl_EC_Format_fcontract_second_carry_full()
34 static void Hacl_Bignum_Modulo_carry_top(uint64_t *b) in Hacl_Bignum_Modulo_carry_top() function508 Hacl_Bignum_Modulo_carry_top(input); in Hacl_EC_Format_fcontract_first_carry_full()540 Hacl_Bignum_Modulo_carry_top(input); in Hacl_EC_Format_fcontract_second_carry_full()
Completed in 11 milliseconds