553 	u64 t5[NUM_ECC_DIGITS];  in ecc_point_double_jacobian()  local
559 	vli_mod_mult_fast(t5, x1, t4); /* t5 = x1*y1^2 = A */  in ecc_point_double_jacobian()
581 	vli_mod_sub(z1, z1, t5, curve_p); /* t3 = B^2 - A */  in ecc_point_double_jacobian()
582 	vli_mod_sub(z1, z1, t5, curve_p); /* t3 = B^2 - 2A = x3 */  in ecc_point_double_jacobian()
583 	vli_mod_sub(t5, t5, z1, curve_p); /* t5 = A - x3 */  in ecc_point_double_jacobian()
584 	vli_mod_mult_fast(x1, x1, t5);    /* t1 = B * (A - x3) */  in ecc_point_double_jacobian()
632 	u64 t5[NUM_ECC_DIGITS];  in xycz_add()  local
634 	vli_mod_sub(t5, x2, x1, curve_p); /* t5 = x2 - x1 */  in xycz_add()
635 	vli_mod_square_fast(t5, t5);      /* t5 = (x2 - x1)^2 = A */  in xycz_add()
636 	vli_mod_mult_fast(x1, x1, t5);    /* t1 = x1*A = B */  in xycz_add()
637 	vli_mod_mult_fast(x2, x2, t5);    /* t3 = x2*A = C */  in xycz_add()
639 	vli_mod_square_fast(t5, y2);      /* t5 = (y2 - y1)^2 = D */  in xycz_add()
641 	vli_mod_sub(t5, t5, x1, curve_p); /* t5 = D - B */  in xycz_add()
642 	vli_mod_sub(t5, t5, x2, curve_p); /* t5 = D - B - C = x3 */  in xycz_add()
645 	vli_mod_sub(x2, x1, t5, curve_p); /* t3 = B - x3 */  in xycz_add()
649 	vli_set(x2, t5);  in xycz_add()
659 	u64 t5[NUM_ECC_DIGITS];  in xycz_add_c()  local
663 	vli_mod_sub(t5, x2, x1, curve_p); /* t5 = x2 - x1 */  in xycz_add_c()
664 	vli_mod_square_fast(t5, t5);      /* t5 = (x2 - x1)^2 = A */  in xycz_add_c()
665 	vli_mod_mult_fast(x1, x1, t5);    /* t1 = x1*A = B */  in xycz_add_c()
666 	vli_mod_mult_fast(x2, x2, t5);    /* t3 = x2*A = C */  in xycz_add_c()
667 	vli_mod_add(t5, y2, y1, curve_p); /* t4 = y2 + y1 */  in xycz_add_c()
680 	vli_mod_square_fast(t7, t5);      /* t7 = (y2 + y1)^2 = F */  in xycz_add_c()
683 	vli_mod_mult_fast(t6, t6, t5);    /* t6 = (y2 + y1)*(x3' - B) */  in xycz_add_c()