mantis_dvb_exit 235 drivers/media/pci/mantis/hopper_cards.c mantis_dvb_exit(mantis); mantis_dvb_exit 235 drivers/media/pci/mantis/mantis_cards.c mantis_dvb_exit(mantis); mantis_dvb_exit 260 drivers/media/pci/mantis/mantis_cards.c mantis_dvb_exit(mantis); mantis_dvb_exit 157 drivers/media/pci/mantis/mantis_core.c if (mantis_dvb_exit(mantis) < 0) mantis_dvb_exit 290 drivers/media/pci/mantis/mantis_dvb.c EXPORT_SYMBOL_GPL(mantis_dvb_exit); mantis_dvb_exit 21 drivers/media/pci/mantis/mantis_dvb.h extern int mantis_dvb_exit(struct mantis_pci *mantis);