Searched refs:z2 (Results 1 – 2 of 2) sorted by relevance
581 uint64_t *z2 = pp + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty() local633 Hacl_Bignum_fmul(z2, zzz, zz); in Hacl_EC_AddAndDouble_fmonty()
626 uint64_t *z2 = pp + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty() local678 Hacl_Bignum_fmul(z2, zzz, zz); in Hacl_EC_AddAndDouble_fmonty()
