441 static void vli_mod_mult_fast(u64 *result, const u64 *left, const u64 *right)  in vli_mod_mult_fast()  function
559 	vli_mod_mult_fast(t5, x1, t4); /* t5 = x1*y1^2 = A */  in ecc_point_double_jacobian()
561 	vli_mod_mult_fast(y1, y1, z1); /* t2 = y1*z1 = z3 */  in ecc_point_double_jacobian()
567 	vli_mod_mult_fast(x1, x1, z1);    /* t1 = x1^2 - z1^4 */  in ecc_point_double_jacobian()
584 	vli_mod_mult_fast(x1, x1, t5);    /* t1 = B * (A - x3) */  in ecc_point_double_jacobian()
598 	vli_mod_mult_fast(x1, x1, t1); /* x1 * z^2 */  in apply_z()
599 	vli_mod_mult_fast(t1, t1, z);  /* z^3 */  in apply_z()
600 	vli_mod_mult_fast(y1, y1, t1); /* y1 * z^3 */  in apply_z()
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()
644 	vli_mod_mult_fast(y1, y1, x2);    /* t2 = y1*(C - B) */  in xycz_add()
646 	vli_mod_mult_fast(y2, y2, x2);    /* t4 = (y2 - y1)*(B - x3) */  in xycz_add()
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()
671 	vli_mod_mult_fast(y1, y1, t6);    /* t2 = y1 * (C - B) */  in xycz_add_c()
677 	vli_mod_mult_fast(y2, y2, t7);    /* t4 = (y2 - y1)*(B - x3) */  in xycz_add_c()
683 	vli_mod_mult_fast(t6, t6, t5);    /* t6 = (y2 + y1)*(x3' - B) */  in xycz_add_c()
715 	vli_mod_mult_fast(z, z, ry[1 - nb]); /* Yb * (X1 - X0) */  in ecc_point_mult()
716 	vli_mod_mult_fast(z, z, point->x);   /* xP * Yb * (X1 - X0) */  in ecc_point_mult()
718 	vli_mod_mult_fast(z, z, point->y);   /* yP / (xP * Yb * (X1 - X0)) */  in ecc_point_mult()
719 	vli_mod_mult_fast(z, z, rx[1 - nb]); /* Xb * yP / (xP * Yb * (X1 - X0)) */  in ecc_point_mult()