22 extern int __cpu_up(unsigned int cpu, struct task_struct *tidle);
24 extern void arch_send_call_function_single_ipi(int cpu);
31 extern int smp_store_status(int cpu);
32 extern int smp_vcpu_scheduled(int cpu);
33 extern void smp_yield_cpu(int cpu);
34 extern void smp_cpu_set_polarization(int cpu, int val);
35 extern int smp_cpu_get_polarization(int cpu);
53 static inline int smp_store_status(int cpu) { return 0; }  in smp_store_status()  argument
54 static inline int smp_vcpu_scheduled(int cpu) { return 1; }  in smp_vcpu_scheduled()  argument
55 static inline void smp_yield_cpu(int cpu) { }  in smp_yield_cpu()  argument
73 extern void __cpu_die(unsigned int cpu);