Lines Matching refs:nq
638 uint64_t *nq,
648 Hacl_EC_Point_swap_conditional(nq, nqpq, bit0);
649 Hacl_EC_AddAndDouble_fmonty(nq2, nqpq2, nq, nqpq, q);
656 uint64_t *nq,
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);
672 uint64_t *nq,
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_);
694 uint64_t *nq,
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);
714 uint64_t *nq = point_buf;
719 nq[0U] = (uint64_t)1U;
720 Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, (uint32_t)32U);
721 Hacl_EC_Point_copy(result, nq);
752 uint64_t *nq = buf;
753 uint64_t *x = nq;
755 Hacl_EC_Ladder_cmult(nq, scalar, q);
756 Hacl_EC_Format_scalar_of_point(mypublic, nq);