mic_delete_debug_dir  154 drivers/misc/mic/host/mic_device.h void mic_delete_debug_dir(struct mic_device *dev);
mic_delete_debug_dir  247 drivers/misc/mic/host/mic_main.c 	mic_delete_debug_dir(mdev);
mic_delete_debug_dir  286 drivers/misc/mic/host/mic_main.c 	mic_delete_debug_dir(mdev);