mic_free_card_irq  185 drivers/misc/mic/card/mic_device.c 	return mic_free_card_irq(cookie, data);
mic_free_card_irq  256 drivers/misc/mic/card/mic_device.c 	return mic_free_card_irq(cookie, data);
mic_free_card_irq  123 drivers/misc/mic/card/mic_device.h void mic_free_card_irq(struct mic_irq *cookie, void *data);