Lines Matching defs:ctr
68 uint32_t ctr = i;
69 uint128_t tctr = tmp[ctr];
70 uint128_t tctrp1 = tmp[ctr + (uint32_t)1U];
73 tmp[ctr] = (uint128_t)r0;
74 tmp[ctr + (uint32_t)1U] = tctrp1 + c;
86 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U;
87 uint64_t z = output[ctr - (uint32_t)1U];
88 output[ctr] = z;
376 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr)
378 uint32_t i = ctr - (uint32_t)1U;
389 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr)
391 if (!(ctr == (uint32_t)0U))
394 Hacl_EC_Point_swap_conditional_step(a, b, swap1, ctr);
395 i = ctr - (uint32_t)1U;