638   uint64_t *nq,  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()  argument
648   Hacl_EC_Point_swap_conditional(nq, nqpq, bit0);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()
649   Hacl_EC_AddAndDouble_fmonty(nq2, nqpq2, nq, nqpq, q);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()
656   uint64_t *nq,  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()  argument
665   Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq, nqpq, nq2, nqpq2, q, byt);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()
667   Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq2, nqpq2, nq, nqpq, q, byt1);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()
672   uint64_t *nq,  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()  argument
685     Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step(nq, nqpq, nq2, nqpq2, q, byt);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
687     Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byt_, i_);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
694   uint64_t *nq,  in Hacl_EC_Ladder_BigLoop_cmult_big_loop()  argument
706     Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byte, (uint32_t)4U);  in Hacl_EC_Ladder_BigLoop_cmult_big_loop()
707     Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, i1);  in Hacl_EC_Ladder_BigLoop_cmult_big_loop()
714   uint64_t *nq = point_buf;  in Hacl_EC_Ladder_cmult()  local
719   nq[0U] = (uint64_t)1U;  in Hacl_EC_Ladder_cmult()
720   Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, (uint32_t)32U);  in Hacl_EC_Ladder_cmult()
721   Hacl_EC_Point_copy(result, nq);  in Hacl_EC_Ladder_cmult()
752       uint64_t *nq = buf;  in Hacl_Curve25519_crypto_scalarmult()  local
753       uint64_t *x = nq;  in Hacl_Curve25519_crypto_scalarmult()
755       Hacl_EC_Ladder_cmult(nq, scalar, q);  in Hacl_Curve25519_crypto_scalarmult()
756       Hacl_EC_Format_scalar_of_point(mypublic, nq);  in Hacl_Curve25519_crypto_scalarmult()