Lines Matching defs:i
43 uint32_t i; in Hacl_Bignum_Fproduct_copy_from_wide_() local
54 uint32_t i; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local
65 uint32_t i; in Hacl_Bignum_Fproduct_carry_wide_() local
83 uint32_t i; in Hacl_Bignum_Fmul_shift_reduce() local
99 uint32_t i; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
209 uint32_t i; in Hacl_Bignum_Fsquare_fsquare_times_() local
291 uint32_t i; in Hacl_Bignum_fsum() local
320 uint32_t i; in Hacl_Bignum_fdifference() local
346 uint32_t i; in Hacl_Bignum_fscalar() local
378 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step() local
393 uint32_t i; in Hacl_EC_Point_swap_conditional_() local
678 uint32_t i in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
699 uint32_t i in Hacl_EC_Ladder_BigLoop_cmult_big_loop()