Searched refs:qmqp (Results 1 – 2 of 2) sorted by relevance
576 uint64_t *qmqp in Hacl_EC_AddAndDouble_fmonty() argument579 uint64_t *qx = qmqp; in Hacl_EC_AddAndDouble_fmonty()
621 uint64_t *qmqp in Hacl_EC_AddAndDouble_fmonty() argument624 uint64_t *qx = qmqp; in Hacl_EC_AddAndDouble_fmonty()