_mic_free_irq     227 drivers/misc/mic/card/mic_x100.c 	.free_irq = _mic_free_irq,
_mic_free_irq     364 drivers/misc/mic/host/mic_boot.c 	.free_irq = _mic_free_irq,