Searched refs:input2i0 (Results 1 – 2 of 2) sorted by relevance
105 uint64_t input2i0 = input2[i0]; in Hacl_Bignum_Fmul_mul_shift_reduce_() local106 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i0); in Hacl_Bignum_Fmul_mul_shift_reduce_()
117 uint64_t input2i0 = input2[i0]; in Hacl_Bignum_Fmul_mul_shift_reduce_() local118 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i0); in Hacl_Bignum_Fmul_mul_shift_reduce_()