Searched refs:ppq (Results 1 – 2 of 2) sorted by relevance
573 uint64_t *ppq, in Hacl_EC_AddAndDouble_fmonty() argument582 uint64_t *x3 = ppq; in Hacl_EC_AddAndDouble_fmonty()583 uint64_t *z3 = ppq + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()
618 uint64_t *ppq, in Hacl_EC_AddAndDouble_fmonty() argument627 uint64_t *x3 = ppq; in Hacl_EC_AddAndDouble_fmonty()628 uint64_t *z3 = ppq + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()