mic_delete_card_debug_dir  410 drivers/misc/mic/card/mic_device.c 	mic_delete_card_debug_dir(mdrv);
mic_delete_card_debug_dir  134 drivers/misc/mic/card/mic_device.h void mic_delete_card_debug_dir(struct mic_driver *mdrv);