4 #include <linux/device.h>
6 #include <linux/topology.h>
7 #include <linux/nodemask.h>
8 #include <linux/percpu.h>
14 #ifdef CONFIG_HOTPLUG_CPU
15 extern int arch_register_cpu(int num
);
16 extern void arch_unregister_cpu(int);
19 DECLARE_PER_CPU(int, cpu_state
);
20 #endif /* ASM_X86__CPU_H */