Lines Matching defs:input
41 inline static void Hacl_Bignum_Fproduct_copy_from_wide_(uint64_t *output, uint128_t *input) in Hacl_Bignum_Fproduct_copy_from_wide_()
52 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(uint128_t *output, uint64_t *input, uint64_t s) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
97 Hacl_Bignum_Fmul_mul_shift_reduce_(uint128_t *output, uint64_t *input, uint64_t *input2) in Hacl_Bignum_Fmul_mul_shift_reduce_()
115 inline static void Hacl_Bignum_Fmul_fmul(uint64_t *output, uint64_t *input, uint64_t *input2) in Hacl_Bignum_Fmul_fmul()
207 Hacl_Bignum_Fsquare_fsquare_times_(uint64_t *input, uint128_t *tmp, uint32_t count1) in Hacl_Bignum_Fsquare_fsquare_times_()
216 Hacl_Bignum_Fsquare_fsquare_times(uint64_t *output, uint64_t *input, uint32_t count1) in Hacl_Bignum_Fsquare_fsquare_times()
370 inline static void Hacl_Bignum_crecip(uint64_t *output, uint64_t *input) in Hacl_Bignum_crecip()
407 static void Hacl_EC_Point_copy(uint64_t *output, uint64_t *input) in Hacl_EC_Point_copy()
415 static void Hacl_EC_Format_fexpand(uint64_t *output, uint8_t *input) in Hacl_EC_Format_fexpand()
438 static void Hacl_EC_Format_fcontract_first_carry_pass(uint64_t *input) in Hacl_EC_Format_fcontract_first_carry_pass()
460 static void Hacl_EC_Format_fcontract_first_carry_full(uint64_t *input) in Hacl_EC_Format_fcontract_first_carry_full()
466 static void Hacl_EC_Format_fcontract_second_carry_pass(uint64_t *input) in Hacl_EC_Format_fcontract_second_carry_pass()
488 static void Hacl_EC_Format_fcontract_second_carry_full(uint64_t *input) in Hacl_EC_Format_fcontract_second_carry_full()
504 static void Hacl_EC_Format_fcontract_trim(uint64_t *input) in Hacl_EC_Format_fcontract_trim()
529 static void Hacl_EC_Format_fcontract_store(uint8_t *output, uint64_t *input) in Hacl_EC_Format_fcontract_store()
550 static void Hacl_EC_Format_fcontract(uint8_t *output, uint64_t *input) in Hacl_EC_Format_fcontract()