mic_free_interrupts  135 drivers/misc/mic/host/mic_intr.h void mic_free_interrupts(struct mic_device *mdev, struct pci_dev *pdev);
mic_free_interrupts  252 drivers/misc/mic/host/mic_main.c 	mic_free_interrupts(mdev, pdev);
mic_free_interrupts  289 drivers/misc/mic/host/mic_main.c 	mic_free_interrupts(mdev, pdev);