604 static void xycz_initial_double(u64 *x1, u64 *y1, u64 *x2, u64 *y2,  in xycz_initial_double()  argument
609 	vli_set(x2, x1);  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
634 	vli_mod_sub(t5, x2, x1, curve_p); /* t5 = x2 - x1 */  in xycz_add()
637 	vli_mod_mult_fast(x2, x2, t5);    /* t3 = x2*A = C */  in xycz_add()
642 	vli_mod_sub(t5, t5, x2, curve_p); /* t5 = D - B - C = x3 */  in xycz_add()
643 	vli_mod_sub(x2, x2, x1, curve_p); /* t3 = C - B */  in xycz_add()
644 	vli_mod_mult_fast(y1, y1, x2);    /* t2 = y1*(C - B) */  in xycz_add()
645 	vli_mod_sub(x2, x1, t5, curve_p); /* t3 = B - x3 */  in xycz_add()
646 	vli_mod_mult_fast(y2, y2, x2);    /* t4 = (y2 - y1)*(B - x3) */  in xycz_add()
649 	vli_set(x2, t5);  in xycz_add()
656 static void xycz_add_c(u64 *x1, u64 *y1, u64 *x2, u64 *y2)  in xycz_add_c()  argument
663 	vli_mod_sub(t5, x2, x1, curve_p); /* t5 = x2 - x1 */  in xycz_add_c()
666 	vli_mod_mult_fast(x2, x2, t5);    /* t3 = x2*A = C */  in xycz_add_c()
670 	vli_mod_sub(t6, x2, x1, curve_p); /* t6 = C - B */  in xycz_add_c()
672 	vli_mod_add(t6, x1, x2, curve_p); /* t6 = B + C */  in xycz_add_c()
673 	vli_mod_square_fast(x2, y2);      /* t3 = (y2 - y1)^2 */  in xycz_add_c()
674 	vli_mod_sub(x2, x2, t6, curve_p); /* t3 = x3 */  in xycz_add_c()
676 	vli_mod_sub(t7, x1, x2, curve_p); /* t7 = B - x3 */  in xycz_add_c()