Searched refs:iswap (Results 1 – 2 of 2) sorted by relevance
400 static void Hacl_EC_Point_swap_conditional(uint64_t *a, uint64_t *b, uint64_t iswap) in Hacl_EC_Point_swap_conditional() argument402 uint64_t swap1 = (uint64_t)0U - iswap; in Hacl_EC_Point_swap_conditional()
445 static void Hacl_EC_Point_swap_conditional(uint64_t *a, uint64_t *b, uint64_t iswap) in Hacl_EC_Point_swap_conditional() argument447 uint64_t swap1 = (uint64_t)0U - iswap; in Hacl_EC_Point_swap_conditional()
