1#ifndef __ASM_SMP_H
2#define __ASM_SMP_H
3
4#include <linux/cpumask.h>
5
6#define raw_smp_processor_id() (current_thread_info()->cpu)
7
8enum ipi_msg_type {
9	IPI_CALL_FUNC,
10	IPI_RESCHEDULE,
11};
12
13extern void arch_send_call_function_single_ipi(int cpu);
14extern void arch_send_call_function_ipi_mask(const struct cpumask *mask);
15
16asmlinkage void secondary_start_kernel(void);
17
18extern void secondary_startup(void);
19
20#ifdef CONFIG_HOTPLUG_CPU
21extern void __cpu_die(unsigned int cpu);
22extern int __cpu_disable(void);
23extern void cpu_die(void);
24#endif
25
26extern void smp_init_cpus(void);
27#endif /* __ASM_SMP_H */
28