# CONFIG_VIDEO_IVTV_DEPRECATED_IOCTLS is not set