Lines Matching defs:nqpq
684 uint64_t *nqpq,
693 Hacl_EC_Point_swap_conditional(nq, nqpq, bit0);
694 Hacl_EC_AddAndDouble_fmonty(nq2, nqpq2, nq, nqpq, q);
702 uint64_t *nqpq,
710 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq, nqpq, nq2, nqpq2, q, byt);
712 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq2, nqpq2, nq, nqpq, q, byt1);
718 uint64_t *nqpq,
730 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step(nq, nqpq, nq2, nqpq2, q, byt);
732 Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byt_, i_);
740 uint64_t *nqpq,
751 Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byte, (uint32_t)4U);
752 Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, i1);
760 uint64_t *nqpq = point_buf + (uint32_t)10U;
763 Hacl_EC_Point_copy(nqpq, q);
765 Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, (uint32_t)32U);