mic_init_debugfs  155 drivers/misc/mic/host/mic_device.h void __init mic_init_debugfs(void);
mic_init_debugfs  310 drivers/misc/mic/host/mic_main.c 	mic_init_debugfs();