user_points       870 drivers/gpu/drm/drm_syncobj.c 						  void __user *user_points,
user_points       885 drivers/gpu/drm/drm_syncobj.c 	if (!user_points) {
user_points       888 drivers/gpu/drm/drm_syncobj.c 	} else if (copy_from_user(points, user_points,