DVB_DEVICE_VIDEO   55 drivers/media/dvb-core/dvbdev.c 	[DVB_DEVICE_VIDEO] =		"video",
DVB_DEVICE_VIDEO   73 drivers/media/dvb-core/dvbdev.c        [DVB_DEVICE_VIDEO]      = 0,
DVB_DEVICE_VIDEO 1636 drivers/media/pci/ttpci/av7110_av.c 			    &dvbdev_video, av7110, DVB_DEVICE_VIDEO, 0);