Searched refs:pp (Results 1 – 2 of 2) sorted by relevance
572 uint64_t *pp, in Hacl_EC_AddAndDouble_fmonty() argument580 uint64_t *x2 = pp; in Hacl_EC_AddAndDouble_fmonty()581 uint64_t *z2 = pp + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()
617 uint64_t *pp, in Hacl_EC_AddAndDouble_fmonty() argument625 uint64_t *x2 = pp; in Hacl_EC_AddAndDouble_fmonty()626 uint64_t *z2 = pp + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()
Completed in 6 milliseconds