Searched refs:input2i (Results 1 – 2 of 2) sorted by relevance
100 uint64_t input2i; in Hacl_Bignum_Fmul_mul_shift_reduce_() local111 input2i = input2[i]; in Hacl_Bignum_Fmul_mul_shift_reduce_()112 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i); in Hacl_Bignum_Fmul_mul_shift_reduce_()
112 uint64_t input2i; in Hacl_Bignum_Fmul_mul_shift_reduce_() local123 input2i = input2[i]; in Hacl_Bignum_Fmul_mul_shift_reduce_()124 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i); in Hacl_Bignum_Fmul_mul_shift_reduce_()