ACPI_PROCESSOR_DEVICE_NAME  385 drivers/acpi/acpi_processor.c 	strcpy(acpi_device_name(device), ACPI_PROCESSOR_DEVICE_NAME);
ACPI_PROCESSOR_DEVICE_NAME   88 drivers/xen/xen-acpi-cpuhotplug.c 	strcpy(acpi_device_name(device), ACPI_PROCESSOR_DEVICE_NAME);