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
14bool arch_cpu_is_hotpluggable(int cpu)
15{
16	return !io_master(cpu);
17}
18#endif