__mic_send_intr   306 drivers/misc/mic/card/mic_device.c 	.send_intr = __mic_send_intr,
__mic_send_intr   123 drivers/misc/mic/host/mic_boot.c 	.send_intr = __mic_send_intr,