Searched refs:origxprime0 (Results 1 – 2 of 2) sorted by relevance
590 uint64_t *origxprime0 = buf + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty() local606 memcpy(origxprime0, xprime, (uint32_t)5U * sizeof xprime[0U]); in Hacl_EC_AddAndDouble_fmonty()608 Hacl_Bignum_fdifference(zprime, origxprime0); in Hacl_EC_AddAndDouble_fmonty()
635 uint64_t *origxprime0 = buf + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty() local651 memcpy(origxprime0, xprime, (uint32_t)5U * sizeof xprime[0U]); in Hacl_EC_AddAndDouble_fmonty()653 Hacl_Bignum_fdifference(zprime, origxprime0); in Hacl_EC_AddAndDouble_fmonty()
Completed in 16 milliseconds