Searched refs:pq (Results 1 – 3 of 3) sorted by relevance
575 uint64_t *pq, in Hacl_EC_AddAndDouble_fmonty() argument586 uint64_t *xprime = pq; in Hacl_EC_AddAndDouble_fmonty()587 uint64_t *zprime = pq + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()
620 uint64_t *pq, in Hacl_EC_AddAndDouble_fmonty() argument631 uint64_t *xprime = pq; in Hacl_EC_AddAndDouble_fmonty()632 uint64_t *zprime = pq + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()
125 MBEDTLS_ASN1_CHK_ADD(len, /* pq */