Searched defs:nqpq2 (Results 1 – 2 of 2) sorted by relevance
686 uint64_t *nqpq2, in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()704 uint64_t *nqpq2, in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()720 uint64_t *nqpq2, in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()742 uint64_t *nqpq2, in Hacl_EC_Ladder_BigLoop_cmult_big_loop()762 uint64_t *nqpq2 = point_buf + (uint32_t)30U; in Hacl_EC_Ladder_cmult() local
641 uint64_t *nqpq2, in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step()659 uint64_t *nqpq2, in Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step()675 uint64_t *nqpq2, in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()697 uint64_t *nqpq2, in Hacl_EC_Ladder_BigLoop_cmult_big_loop()717 uint64_t *nqpq2 = point_buf + (uint32_t)30U; in Hacl_EC_Ladder_cmult() local