MANTIS_MODEL_NAME   65 drivers/media/pci/mantis/hopper_vp3028.c 	.model_name	= MANTIS_MODEL_NAME,
MANTIS_MODEL_NAME  189 drivers/media/pci/mantis/mantis_vp1033.c 	.model_name		= MANTIS_MODEL_NAME,
MANTIS_MODEL_NAME   97 drivers/media/pci/mantis/mantis_vp1034.c 	.model_name	= MANTIS_MODEL_NAME,
MANTIS_MODEL_NAME  334 drivers/media/pci/mantis/mantis_vp1041.c 	.model_name	= MANTIS_MODEL_NAME,
MANTIS_MODEL_NAME  165 drivers/media/pci/mantis/mantis_vp2033.c 	.model_name	= MANTIS_MODEL_NAME,
MANTIS_MODEL_NAME  164 drivers/media/pci/mantis/mantis_vp2040.c 	.model_name	= MANTIS_MODEL_NAME,
MANTIS_MODEL_NAME   80 drivers/media/pci/mantis/mantis_vp3030.c 	.model_name	= MANTIS_MODEL_NAME,