Searched refs:bi1 (Results 1 – 2 of 2) sorted by relevance
383 uint64_t bi1 = bi ^ x; in Hacl_EC_Point_swap_conditional_step() local385 b[i] = bi1; in Hacl_EC_Point_swap_conditional_step()
428 uint64_t bi1 = bi ^ x; in Hacl_EC_Point_swap_conditional_step() local430 b[i] = bi1; in Hacl_EC_Point_swap_conditional_step()