___mic_free_irq   182 drivers/misc/mic/card/mic_device.c ___mic_free_irq(struct scif_hw_dev *scdev,
___mic_free_irq   258 drivers/misc/mic/host/mic_boot.c ___mic_free_irq(struct scif_hw_dev *scdev,