Go to the documentation of this file.
4 #include <linux/device.h>
18 #define cpu_physical_id(cpu) boot_cpu_physical_apicid
19 #define safe_smp_processor_id() 0
20 #define stack_smp_processor_id() 0
28 #ifdef CONFIG_HOTPLUG_CPU
29 extern int arch_register_cpu(
int num);
30 extern void arch_unregister_cpu(
int);