mic_driver_name    23 drivers/misc/mic/card/mic_x100.c static const char mic_driver_name[] = "mic";
mic_driver_name   238 drivers/misc/mic/card/mic_x100.c 	snprintf(mdrv->name, sizeof(mic_driver_name), mic_driver_name);
mic_driver_name   293 drivers/misc/mic/card/mic_x100.c 		.name   = mic_driver_name,
mic_driver_name   313 drivers/misc/mic/card/mic_x100.c 	mic_platform_dev = platform_device_register_simple(mic_driver_name,
mic_driver_name    20 drivers/misc/mic/host/mic_main.c static const char mic_driver_name[] = "mic";
mic_driver_name   187 drivers/misc/mic/host/mic_main.c 	rc = pci_request_regions(pdev, mic_driver_name);
mic_driver_name   299 drivers/misc/mic/host/mic_main.c 	.name = mic_driver_name,