mantis_input_exit  232 drivers/media/pci/mantis/mantis_cards.c 	mantis_input_exit(mantis);
mantis_input_exit  259 drivers/media/pci/mantis/mantis_cards.c 		mantis_input_exit(mantis);
mantis_input_exit   76 drivers/media/pci/mantis/mantis_input.c EXPORT_SYMBOL_GPL(mantis_input_exit);
mantis_input_exit   13 drivers/media/pci/mantis/mantis_input.h void mantis_input_exit(struct mantis_pci *mantis);