Searched refs:bit0 (Results 1 – 2 of 2) sorted by relevance
646 uint64_t bit0 = (uint64_t)(byt >> (uint32_t)7U); in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step() local648 Hacl_EC_Point_swap_conditional(nq, nqpq, bit0); in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()
691 uint64_t bit0 = (uint64_t)(byt >> (uint32_t)7U); in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step() local693 Hacl_EC_Point_swap_conditional(nq, nqpq, bit0); in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()
Completed in 7 milliseconds