__mic_free_irq    253 drivers/misc/mic/card/mic_device.c static void __mic_free_irq(struct vop_device *vpdev,
__mic_free_irq     62 drivers/misc/mic/host/mic_boot.c static void __mic_free_irq(struct vop_device *vpdev,