1 /* SPDX-License-Identifier: GPL-2.0 */
5 #include <linux/device.h>
7 #include <linux/topology.h>
8 #include <linux/nodemask.h>
9 #include <linux/percpu.h>
13 extern void prefill_possible_map(void);
15 #else /* CONFIG_SMP */
17 static inline void prefill_possible_map(void) {}
19 #define cpu_physical_id(cpu) boot_cpu_physical_apicid
20 #define cpu_acpi_id(cpu) 0
21 #define safe_smp_processor_id() 0
23 #endif /* CONFIG_SMP */
29 #ifdef CONFIG_HOTPLUG_CPU
30 extern int arch_register_cpu(int num
);
31 extern void arch_unregister_cpu(int);
32 extern void start_cpu0(void);
33 #ifdef CONFIG_DEBUG_HOTPLUG_CPU0
34 extern int _debug_hotplug_cpu(int cpu
, int action
);
38 int mwait_usable(const struct cpuinfo_x86
*);
40 unsigned int x86_family(unsigned int sig
);
41 unsigned int x86_model(unsigned int sig
);
42 unsigned int x86_stepping(unsigned int sig
);
43 #endif /* _ASM_X86_CPU_H */