32 #define PREFIX "ACPI:xen_cpu_hotplug:"  macro
55 			pr_err(PREFIX "Evaluating processor object\n");  in xen_acpi_processor_enable()
65 			pr_err(PREFIX "Evaluating processor _UID\n");  in xen_acpi_processor_enable()
77 			pr_err(PREFIX "Hotadd CPU (acpi_id = %d) failed.\n",  in xen_acpi_processor_enable()
104 		pr_err(PREFIX "Error when enabling Xen processor\n");  in xen_acpi_processor_add()
143 		pr_info(PREFIX "Processor does not support hot plug\n");  in is_processor_present()
145 		pr_info(PREFIX "Processor Device is not present");  in is_processor_present()
192 		pr_err(PREFIX "Failed to get apic_id for acpi_id %d\n",  in xen_hotadd_cpu()
199 		pr_err(PREFIX "Failed to get _PXM for acpi_id %d\n",  in xen_hotadd_cpu()
211 		pr_err(PREFIX "Failed to hotadd CPU for acpi_id %d\n",  in xen_hotadd_cpu()
237 	pr_debug(PREFIX "Xen does not support CPU hotremove\n");  in acpi_processor_device_remove()
269 			pr_err(PREFIX "Unable to add the device\n");  in acpi_processor_hotplug_notify()
275 			pr_err(PREFIX "Missing device object\n");  in acpi_processor_hotplug_notify()
286 			pr_err(PREFIX "Device don't exist, dropping EJECT\n");  in acpi_processor_hotplug_notify()
291 			pr_err(PREFIX "Driver data is NULL, dropping EJECT\n");  in acpi_processor_hotplug_notify()