err_dvb_exit      218 drivers/media/pci/mantis/mantis_cards.c 		goto err_dvb_exit;
err_dvb_exit      234 drivers/media/pci/mantis/mantis_cards.c err_dvb_exit: