1 // SPDX-License-Identifier: GPL-2.0 2 #include <linux/acpi.h> 3 #include <linux/cpu.h> 4 #include <linux/cpumask.h> 5 #include <linux/init.h> 6 #include <linux/node.h> 7 #include <linux/nodemask.h> 8 #include <linux/percpu.h> 9 #include <asm/bootinfo.h> 10 11 #include <acpi/processor.h> 12 13 #ifdef CONFIG_HOTPLUG_CPU 14 bool arch_cpu_is_hotpluggable(int cpu) 15 { 16 return !io_master(cpu); 17 } 18 #endif 19