| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef _ASM_IA64_CPU_H_ | |
| #define _ASM_IA64_CPU_H_ | |
| #include <linux/device.h> | |
| #include <linux/cpu.h> | |
| #include <linux/topology.h> | |
| #include <linux/percpu.h> | |
| struct ia64_cpu { | |
| struct cpu cpu; | |
| }; | |
| DECLARE_PER_CPU(struct ia64_cpu, cpu_devices); | |
| DECLARE_PER_CPU(int, cpu_state); | |
| #ifdef CONFIG_HOTPLUG_CPU | |
| extern int arch_register_cpu(int num); | |
| extern void arch_unregister_cpu(int); | |
| #endif | |
| #endif /* _ASM_IA64_CPU_H_ */ |