mic_smpt_restore  496 drivers/misc/mic/host/mic_boot.c 	mic_smpt_restore(mdev);
mic_smpt_restore   85 drivers/misc/mic/host/mic_smpt.h void mic_smpt_restore(struct mic_device *mdev);