947 static void ecc_point_double_jacobian(u64 *x1, u64 *y1, u64 *z1,  in ecc_point_double_jacobian()  argument
960 	vli_mod_mult_fast(t5, x1, t4, curve_prime, ndigits);  in ecc_point_double_jacobian()
969 	vli_mod_add(x1, x1, z1, curve_prime, ndigits);  in ecc_point_double_jacobian()
973 	vli_mod_sub(z1, x1, z1, curve_prime, ndigits);  in ecc_point_double_jacobian()
975 	vli_mod_mult_fast(x1, x1, z1, curve_prime, ndigits);  in ecc_point_double_jacobian()
978 	vli_mod_add(z1, x1, x1, curve_prime, ndigits);  in ecc_point_double_jacobian()
980 	vli_mod_add(x1, x1, z1, curve_prime, ndigits);  in ecc_point_double_jacobian()
981 	if (vli_test_bit(x1, 0)) {  in ecc_point_double_jacobian()
982 		u64 carry = vli_add(x1, x1, curve_prime, ndigits);  in ecc_point_double_jacobian()
984 		vli_rshift1(x1, ndigits);  in ecc_point_double_jacobian()
985 		x1[ndigits - 1] |= carry << 63;  in ecc_point_double_jacobian()
987 		vli_rshift1(x1, ndigits);  in ecc_point_double_jacobian()
992 	vli_mod_square_fast(z1, x1, curve_prime, ndigits);  in ecc_point_double_jacobian()
1000 	vli_mod_mult_fast(x1, x1, t5, curve_prime, ndigits);  in ecc_point_double_jacobian()
1002 	vli_mod_sub(t4, x1, t4, curve_prime, ndigits);  in ecc_point_double_jacobian()
1004 	vli_set(x1, z1, ndigits);  in ecc_point_double_jacobian()
1010 static void apply_z(u64 *x1, u64 *y1, u64 *z, u64 *curve_prime,  in apply_z()  argument
1016 	vli_mod_mult_fast(x1, x1, t1, curve_prime, ndigits); /* x1 * z^2 */  in apply_z()
1022 static void xycz_initial_double(u64 *x1, u64 *y1, u64 *x2, u64 *y2,  in xycz_initial_double()  argument
1028 	vli_set(x2, x1, ndigits);  in xycz_initial_double()
1037 	apply_z(x1, y1, z, curve_prime, ndigits);  in xycz_initial_double()
1039 	ecc_point_double_jacobian(x1, y1, z, curve_prime, ndigits);  in xycz_initial_double()
1048 static void xycz_add(u64 *x1, u64 *y1, u64 *x2, u64 *y2, u64 *curve_prime,  in xycz_add()  argument
1055 	vli_mod_sub(t5, x2, x1, curve_prime, ndigits);  in xycz_add()
1059 	vli_mod_mult_fast(x1, x1, t5, curve_prime, ndigits);  in xycz_add()
1068 	vli_mod_sub(t5, t5, x1, curve_prime, ndigits);  in xycz_add()
1072 	vli_mod_sub(x2, x2, x1, curve_prime, ndigits);  in xycz_add()
1076 	vli_mod_sub(x2, x1, t5, curve_prime, ndigits);  in xycz_add()
1089 static void xycz_add_c(u64 *x1, u64 *y1, u64 *x2, u64 *y2, u64 *curve_prime,  in xycz_add_c()  argument
1098 	vli_mod_sub(t5, x2, x1, curve_prime, ndigits);  in xycz_add_c()
1102 	vli_mod_mult_fast(x1, x1, t5, curve_prime, ndigits);  in xycz_add_c()
1111 	vli_mod_sub(t6, x2, x1, curve_prime, ndigits);  in xycz_add_c()
1115 	vli_mod_add(t6, x1, x2, curve_prime, ndigits);  in xycz_add_c()
1122 	vli_mod_sub(t7, x1, x2, curve_prime, ndigits);  in xycz_add_c()
1133 	vli_mod_sub(t6, t7, x1, curve_prime, ndigits);  in xycz_add_c()
1139 	vli_set(x1, t7, ndigits);  in xycz_add_c()