Searched refs:zzprime (Results 1 – 2 of 2) sorted by relevance
642 uint64_t *zzprime; in Hacl_EC_AddAndDouble_fmonty() local660 zzprime = buf + (uint32_t)30U; in Hacl_EC_AddAndDouble_fmonty()663 Hacl_Bignum_fsum(xxprime, zzprime); in Hacl_EC_AddAndDouble_fmonty()664 Hacl_Bignum_fdifference(zzprime, origxprime); in Hacl_EC_AddAndDouble_fmonty()666 Hacl_Bignum_Fsquare_fsquare_times(zzzprime, zzprime, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()
597 uint64_t *zzprime; in Hacl_EC_AddAndDouble_fmonty() local615 zzprime = buf + (uint32_t)30U; in Hacl_EC_AddAndDouble_fmonty()618 Hacl_Bignum_fsum(xxprime, zzprime); in Hacl_EC_AddAndDouble_fmonty()619 Hacl_Bignum_fdifference(zzprime, origxprime); in Hacl_EC_AddAndDouble_fmonty()621 Hacl_Bignum_Fsquare_fsquare_times(zzzprime, zzprime, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()