___mic_request_irq  230 drivers/misc/mic/card/mic_device.c 	.request_irq = ___mic_request_irq,
___mic_request_irq  301 drivers/misc/mic/host/mic_boot.c 	.request_irq = ___mic_request_irq,