| #include <linux/device.h> |
| #include <linux/topology.h> |
| #include <linux/nodemask.h> |
| #include <linux/percpu.h> |
| extern void prefill_possible_map(void); |
| static inline void prefill_possible_map(void) {} |
| #define cpu_physical_id(cpu) boot_cpu_physical_apicid |
| #define safe_smp_processor_id() 0 |
| #define stack_smp_processor_id() 0 |
| #ifdef CONFIG_HOTPLUG_CPU |
| extern int arch_register_cpu(int num); |
| extern void arch_unregister_cpu(int); |
| DECLARE_PER_CPU(int, cpu_state); |
| extern unsigned int boot_cpu_id; |
| #endif /* _ASM_X86_CPU_H */ |