Lines Matching defs:i
47 uint32_t i; in Hacl_Bignum_Fproduct_copy_from_wide_() local
62 uint32_t i; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local
73 uint32_t i; in Hacl_Bignum_Fproduct_carry_wide_() local
91 uint32_t i; in Hacl_Bignum_Fmul_shift_reduce() local
111 uint32_t i; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
251 uint32_t i; in Hacl_Bignum_Fsquare_fsquare_times_() local
333 uint32_t i; in Hacl_Bignum_fsum() local
362 uint32_t i; in Hacl_Bignum_fdifference() local
388 uint32_t i; in Hacl_Bignum_fscalar() local
423 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step() local
438 uint32_t i; in Hacl_EC_Point_swap_conditional_() local
723 uint32_t i in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
744 uint32_t i in Hacl_EC_Ladder_BigLoop_cmult_big_loop()