___mic_free_irq   231 drivers/misc/mic/card/mic_device.c 	.free_irq = ___mic_free_irq,
___mic_free_irq   302 drivers/misc/mic/host/mic_boot.c 	.free_irq = ___mic_free_irq,