723 static void xycz_initial_double(u64 *x1, u64 *y1, u64 *x2, u64 *y2,  in xycz_initial_double()  argument
730 	vli_set(y2, y1, ndigits);  in xycz_initial_double()
742 	apply_z(x2, y2, z, curve_prime, ndigits);  in xycz_initial_double()
749 static void xycz_add(u64 *x1, u64 *y1, u64 *x2, u64 *y2, u64 *curve_prime,  in xycz_add()  argument
764 	vli_mod_sub(y2, y2, y1, curve_prime, ndigits);  in xycz_add()
766 	vli_mod_square_fast(t5, y2, curve_prime, ndigits);  in xycz_add()
779 	vli_mod_mult_fast(y2, y2, x2, curve_prime, ndigits);  in xycz_add()
781 	vli_mod_sub(y2, y2, y1, curve_prime, ndigits);  in xycz_add()
790 static void xycz_add_c(u64 *x1, u64 *y1, u64 *x2, u64 *y2, u64 *curve_prime,  in xycz_add_c()  argument
807 	vli_mod_add(t5, y2, y1, curve_prime, ndigits);  in xycz_add_c()
809 	vli_mod_sub(y2, y2, y1, curve_prime, ndigits);  in xycz_add_c()
818 	vli_mod_square_fast(x2, y2, curve_prime, ndigits);  in xycz_add_c()
825 	vli_mod_mult_fast(y2, y2, t7, curve_prime, ndigits);  in xycz_add_c()
827 	vli_mod_sub(y2, y2, y1, curve_prime, ndigits);  in xycz_add_c()