4 #include <linux/cpumask.h>
6 #define raw_smp_processor_id() (current_thread_info()->cpu)
13 extern void arch_send_call_function_single_ipi(int cpu);
14 extern void arch_send_call_function_ipi_mask(const struct cpumask *mask);
16 asmlinkage void secondary_start_kernel(void);
18 extern void secondary_startup(void);
20 #ifdef CONFIG_HOTPLUG_CPU
21 extern void __cpu_die(unsigned int cpu);
22 extern int __cpu_disable(void);
23 extern void cpu_die(void);
26 extern void smp_init_cpus(void);
27 #endif /* __ASM_SMP_H */