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