Lines Matching refs:_i
123 uint32_t _i; in Hacl_Bignum_Fmul_fmul() local
124 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fmul_fmul()
125 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fmul_fmul()
222 uint32_t _i; in Hacl_Bignum_Fsquare_fsquare_times() local
223 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fsquare_fsquare_times()
224 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fsquare_fsquare_times()
237 uint32_t _i; in Hacl_Bignum_Fsquare_fsquare_times_inplace() local
238 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fsquare_fsquare_times_inplace()
239 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fsquare_fsquare_times_inplace()
336 uint32_t _i; in Hacl_Bignum_fscalar() local
337 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_fscalar()
338 tmp[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_fscalar()