Lines Matching defs:nqpq
639 uint64_t *nqpq,
648 Hacl_EC_Point_swap_conditional(nq, nqpq, bit0);
649 Hacl_EC_AddAndDouble_fmonty(nq2, nqpq2, nq, nqpq, q);
657 uint64_t *nqpq,
665 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq, nqpq, nq2, nqpq2, q, byt);
667 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq2, nqpq2, nq, nqpq, q, byt1);
673 uint64_t *nqpq,
685 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step(nq, nqpq, nq2, nqpq2, q, byt);
687 Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byt_, i_);
695 uint64_t *nqpq,
706 Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byte, (uint32_t)4U);
707 Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, i1);
715 uint64_t *nqpq = point_buf + (uint32_t)10U;
718 Hacl_EC_Point_copy(nqpq, q);
720 Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, (uint32_t)32U);