|
@@ -267,6 +267,9 @@ static inline bool invalid_phys_cpuid(phys_cpuid_t phys_id)
|
|
return phys_id == PHYS_CPUID_INVALID;
|
|
return phys_id == PHYS_CPUID_INVALID;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+/* Validate the processor object's proc_id */
|
|
|
|
+bool acpi_processor_validate_proc_id(int proc_id);
|
|
|
|
+
|
|
#ifdef CONFIG_ACPI_HOTPLUG_CPU
|
|
#ifdef CONFIG_ACPI_HOTPLUG_CPU
|
|
/* Arch dependent functions for cpu hotplug support */
|
|
/* Arch dependent functions for cpu hotplug support */
|
|
int acpi_map_cpu(acpi_handle handle, phys_cpuid_t physid, int *pcpu);
|
|
int acpi_map_cpu(acpi_handle handle, phys_cpuid_t physid, int *pcpu);
|