687   uint64_t *q,  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()  argument
694   Hacl_EC_AddAndDouble_fmonty(nq2, nqpq2, nq, nqpq, q);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()
705   uint64_t *q,  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()  argument
710   Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq, nqpq, nq2, nqpq2, q, byt);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()
712   Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq2, nqpq2, nq, nqpq, q, byt1);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()
721   uint64_t *q,  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()  argument
730     Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step(nq, nqpq, nq2, nqpq2, q, byt);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
732     Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byt_, i_);  in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
743   uint64_t *q,  in Hacl_EC_Ladder_BigLoop_cmult_big_loop()  argument
751     Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byte, (uint32_t)4U);  in Hacl_EC_Ladder_BigLoop_cmult_big_loop()
752     Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, i1);  in Hacl_EC_Ladder_BigLoop_cmult_big_loop()
756 static void Hacl_EC_Ladder_cmult(uint64_t *result, uint8_t *n1, uint64_t *q)  in Hacl_EC_Ladder_cmult()  argument
763   Hacl_EC_Point_copy(nqpq, q);  in Hacl_EC_Ladder_cmult()
765   Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, (uint32_t)32U);  in Hacl_EC_Ladder_cmult()
774   uint64_t *q;  in Hacl_Curve25519_crypto_scalarmult()  local
777   q = buf0;  in Hacl_Curve25519_crypto_scalarmult()
800       Hacl_EC_Ladder_cmult(nq, scalar, q);  in Hacl_Curve25519_crypto_scalarmult()