mic_init_card_debugfs  135 drivers/misc/mic/card/mic_device.h void __init mic_init_card_debugfs(void);
mic_init_card_debugfs  311 drivers/misc/mic/card/mic_x100.c 	mic_init_card_debugfs();