mic_exit_debugfs  156 drivers/misc/mic/host/mic_device.h void mic_exit_debugfs(void);
mic_exit_debugfs  320 drivers/misc/mic/host/mic_main.c 	mic_exit_debugfs();
mic_exit_debugfs  328 drivers/misc/mic/host/mic_main.c 	mic_exit_debugfs();