DRM_CORE_IOCTL_COUNT
if (nr >= DRM_CORE_IOCTL_COUNT)
nr = array_index_nospec(nr, DRM_CORE_IOCTL_COUNT);
if ((nr >= DRM_CORE_IOCTL_COUNT) &&
if (nr < DRM_CORE_IOCTL_COUNT &&
if (nr >= DRM_CORE_IOCTL_COUNT)
nr = array_index_nospec(nr, DRM_CORE_IOCTL_COUNT);