| 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 |