Searched refs:zzprime0 (Results 1 – 2 of 2) sorted by relevance
637 uint64_t *zzprime0 = buf + (uint32_t)30U; in Hacl_EC_AddAndDouble_fmonty() local655 Hacl_Bignum_fmul(zzprime0, x, zprime); in Hacl_EC_AddAndDouble_fmonty()
592 uint64_t *zzprime0 = buf + (uint32_t)30U; in Hacl_EC_AddAndDouble_fmonty() local610 Hacl_Bignum_fmul(zzprime0, x, zprime); in Hacl_EC_AddAndDouble_fmonty()