1 /* SPDX-License-Identifier: GPL-2.0 */
5 #include <linux/cpumask.h>
7 #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);
17 asmlinkage void secondary_start_kernel(void);
19 extern void secondary_startup(void);
21 #ifdef CONFIG_HOTPLUG_CPU
22 extern void __cpu_die(unsigned int cpu);
23 extern int __cpu_disable(void);
24 extern void cpu_die(void);
27 extern void smp_init_cpus(void);
28 #endif /* __ASM_SMP_H */