1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_IA64_CPU_H_
3 #define _ASM_IA64_CPU_H_
4 
5 #include <linux/device.h>
6 #include <linux/cpu.h>
7 #include <linux/topology.h>
8 #include <linux/percpu.h>
9 
10 struct ia64_cpu {
11 	struct cpu cpu;
12 };
13 
14 DECLARE_PER_CPU(struct ia64_cpu, cpu_devices);
15 
16 DECLARE_PER_CPU(int, cpu_state);
17 
18 #ifdef CONFIG_HOTPLUG_CPU
19 extern int arch_register_cpu(int num);
20 extern void arch_unregister_cpu(int);
21 #endif
22 
23 #endif /* _ASM_IA64_CPU_H_ */
24