604 static void xycz_initial_double(u64 *x1, u64 *y1, u64 *x2, u64 *y2,  in xycz_initial_double()  argument
610 	vli_set(y2, y1);  in xycz_initial_double()
622 	apply_z(x2, y2, z);  in xycz_initial_double()
629 static void xycz_add(u64 *x1, u64 *y1, u64 *x2, u64 *y2)  in xycz_add()  argument
638 	vli_mod_sub(y2, y2, y1, curve_p); /* t4 = y2 - y1 */  in xycz_add()
639 	vli_mod_square_fast(t5, y2);      /* t5 = (y2 - y1)^2 = D */  in xycz_add()
646 	vli_mod_mult_fast(y2, y2, x2);    /* t4 = (y2 - y1)*(B - x3) */  in xycz_add()
647 	vli_mod_sub(y2, y2, y1, curve_p); /* t4 = y3 */  in xycz_add()
656 static void xycz_add_c(u64 *x1, u64 *y1, u64 *x2, u64 *y2)  in xycz_add_c()  argument
667 	vli_mod_add(t5, y2, y1, curve_p); /* t4 = y2 + y1 */  in xycz_add_c()
668 	vli_mod_sub(y2, y2, y1, curve_p); /* t4 = y2 - y1 */  in xycz_add_c()
673 	vli_mod_square_fast(x2, y2);      /* t3 = (y2 - y1)^2 */  in xycz_add_c()
677 	vli_mod_mult_fast(y2, y2, t7);    /* t4 = (y2 - y1)*(B - x3) */  in xycz_add_c()
678 	vli_mod_sub(y2, y2, y1, curve_p); /* t4 = y3 */  in xycz_add_c()