MANTIS_DEV_TYPE    30 drivers/media/pci/mantis/hopper_vp3028.c #define MANTIS_DEV_TYPE		"DVB-T"
MANTIS_DEV_TYPE    72 drivers/media/pci/mantis/mantis_vp1033.c #define MANTIS_DEV_TYPE		"DVB-S/DSS"
MANTIS_DEV_TYPE    33 drivers/media/pci/mantis/mantis_vp1034.c #define MANTIS_DEV_TYPE		"DVB-S/DSS"
MANTIS_DEV_TYPE    31 drivers/media/pci/mantis/mantis_vp1041.c #define MANTIS_DEV_TYPE		"DSS/DVB-S/DVB-S2"
MANTIS_DEV_TYPE    26 drivers/media/pci/mantis/mantis_vp2033.c #define MANTIS_DEV_TYPE		"DVB-C"
MANTIS_DEV_TYPE    26 drivers/media/pci/mantis/mantis_vp2040.c #define MANTIS_DEV_TYPE		"DVB-C"
MANTIS_DEV_TYPE    41 drivers/media/pci/mantis/mantis_vp3030.c #define MANTIS_DEV_TYPE		"DVB-T"