mic_db_to_irq      86 drivers/misc/mic/card/mic_device.c 	rc  = request_threaded_irq(mic_db_to_irq(mdrv, index), handler,
mic_db_to_irq     114 drivers/misc/mic/card/mic_device.c 	free_irq(mic_db_to_irq(mdrv, index), data);
mic_db_to_irq     127 drivers/misc/mic/card/mic_device.h int mic_db_to_irq(struct mic_driver *mdrv, int db);