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,