MANTIS_DEV_TYPE    66 drivers/media/pci/mantis/hopper_vp3028.c 	.dev_type	= MANTIS_DEV_TYPE,
MANTIS_DEV_TYPE   190 drivers/media/pci/mantis/mantis_vp1033.c 	.dev_type		= MANTIS_DEV_TYPE,
MANTIS_DEV_TYPE    98 drivers/media/pci/mantis/mantis_vp1034.c 	.dev_type	= MANTIS_DEV_TYPE,
MANTIS_DEV_TYPE   335 drivers/media/pci/mantis/mantis_vp1041.c 	.dev_type	= MANTIS_DEV_TYPE,
MANTIS_DEV_TYPE   166 drivers/media/pci/mantis/mantis_vp2033.c 	.dev_type	= MANTIS_DEV_TYPE,
MANTIS_DEV_TYPE   165 drivers/media/pci/mantis/mantis_vp2040.c 	.dev_type	= MANTIS_DEV_TYPE,
MANTIS_DEV_TYPE    81 drivers/media/pci/mantis/mantis_vp3030.c 	.dev_type	= MANTIS_DEV_TYPE,