mic_free_irq       67 drivers/misc/mic/host/mic_boot.c 	mic_free_irq(mdev, cookie, data);
mic_free_irq      263 drivers/misc/mic/host/mic_boot.c 	mic_free_irq(mdev, cookie, data);
mic_free_irq      353 drivers/misc/mic/host/mic_boot.c 	mic_free_irq(mbdev_to_mdev(mbdev), cookie, data);
mic_free_irq      132 drivers/misc/mic/host/mic_intr.h void mic_free_irq(struct mic_device *mdev,