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