MANTIS_VP_1033_DVB_S  280 drivers/media/pci/mantis/mantis_cards.c 	MAKE_ENTRY(TWINHAN_TECHNOLOGIES, MANTIS_VP_1033_DVB_S, &vp1033_config,
MANTIS_VP_1033_DVB_S   75 drivers/media/pci/mantis/mantis_core.c 	case MANTIS_VP_1033_DVB_S:	/* VP-1033 */