842                             const felem x1, const felem y1, const felem z1,  in point_add_mixed()  argument
856   felem_diff(r, s2, y1);  in point_add_mixed()
868   felem_mul(tmp, y1, j);  in point_add_mixed()
880                       const felem y1, const felem z1, const felem x2,  in point_add()  argument
894   felem_mul(s1, y1, z2z2z2);  in point_add()
927     felem x_out, felem y_out, felem z_out, const felem x1, const felem y1,  in point_add_or_double_vartime()  argument
942   felem_mul(s1, y1, z2z2z2);  in point_add_or_double_vartime()
955     point_double(x_out, y_out, z_out, x1, y1, z1);  in point_add_or_double_vartime()
1248   felem x1, y1, z1, x2, y2, z2, px, py;  in p256_points_mul_vartime()  local
1259   scalar_base_mult(x1, y1, z1, n1);  in p256_points_mul_vartime()
1269     memcpy(y1, y2, sizeof(y2));  in p256_points_mul_vartime()
1273     point_add_or_double_vartime(x1, y1, z1, x1, y1, z1, x2, y2, z2);  in p256_points_mul_vartime()
1276   point_to_affine(px, py, x1, y1, z1);  in p256_points_mul_vartime()