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 10struct ia64_cpu { 11 struct cpu cpu; 12}; 13 14DECLARE_PER_CPU(struct ia64_cpu, cpu_devices); 15 16DECLARE_PER_CPU(int, cpu_state); 17 18#ifdef CONFIG_HOTPLUG_CPU 19extern int arch_register_cpu(int num); 20extern void arch_unregister_cpu(int); 21#endif 22 23#endif /* _ASM_IA64_CPU_H_ */ 24