mic_intr_restore  497 drivers/misc/mic/host/mic_boot.c 	mic_intr_restore(mdev);
mic_intr_restore  136 drivers/misc/mic/host/mic_intr.h void mic_intr_restore(struct mic_device *mdev);