Searched refs:origxprime (Results 1 – 2 of 2) sorted by relevance
638 uint64_t *origxprime; in Hacl_EC_AddAndDouble_fmonty() local656 origxprime = buf + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()662 memcpy(origxprime, xxprime, (uint32_t)5U * sizeof xxprime[0U]); in Hacl_EC_AddAndDouble_fmonty()664 Hacl_Bignum_fdifference(zzprime, origxprime); in Hacl_EC_AddAndDouble_fmonty()
593 uint64_t *origxprime; in Hacl_EC_AddAndDouble_fmonty() local611 origxprime = buf + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty()617 memcpy(origxprime, xxprime, (uint32_t)5U * sizeof xxprime[0U]); in Hacl_EC_AddAndDouble_fmonty()619 Hacl_Bignum_fdifference(zzprime, origxprime); in Hacl_EC_AddAndDouble_fmonty()