@@ -187,8 +187,10 @@ static int acpi_processor_make_present(struct acpi_processor *pr)
{
int ret;
- if (!IS_ENABLED(CONFIG_ACPI_HOTPLUG_CPU))
+ if (!IS_ENABLED(CONFIG_ACPI_HOTPLUG_CPU)) {
+ pr_err_once("Changing CPU present bit is not supported\n");
return -ENODEV;
+ }
if (invalid_phys_cpuid(pr->phys_id))
return -ENODEV;
@@ -466,8 +468,10 @@ static void acpi_processor_make_not_present(struct acpi_device *device)
{
struct acpi_processor *pr;
- if (!IS_ENABLED(CONFIG_ACPI_HOTPLUG_CPU))
+ if (!IS_ENABLED(CONFIG_ACPI_HOTPLUG_CPU)) {
+ pr_err_once("Changing CPU present bit is not supported");
return;
+ }
pr = acpi_driver_data(device);
if (pr->id >= nr_cpu_ids)