549 static void ecc_point_double_jacobian(u64 *x1, u64 *y1, u64 *z1)  in ecc_point_double_jacobian()  argument
558 	vli_mod_square_fast(t4, y1);   /* t4 = y1^2 */  in ecc_point_double_jacobian()
561 	vli_mod_mult_fast(y1, y1, z1); /* t2 = y1*z1 = z3 */  in ecc_point_double_jacobian()
588 	vli_set(z1, y1);  in ecc_point_double_jacobian()
589 	vli_set(y1, t4);  in ecc_point_double_jacobian()
593 static void apply_z(u64 *x1, u64 *y1, u64 *z)  in apply_z()  argument
600 	vli_mod_mult_fast(y1, y1, t1); /* y1 * z^3 */  in apply_z()
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()
618 	apply_z(x1, y1, z);  in xycz_initial_double()
620 	ecc_point_double_jacobian(x1, y1, 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()
644 	vli_mod_mult_fast(y1, y1, x2);    /* t2 = y1*(C - B) */  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()
671 	vli_mod_mult_fast(y1, y1, t6);    /* t2 = y1 * (C - B) */  in xycz_add_c()
678 	vli_mod_sub(y2, y2, y1, curve_p); /* t4 = y3 */  in xycz_add_c()
684 	vli_mod_sub(y1, t6, y1, curve_p); /* t2 = y3' */  in xycz_add_c()