48 static inline void smp_store_cpu_info(unsigned int cpu)  in smp_store_cpu_info()
59 	unsigned int cpu = smp_processor_id();  in smp_prepare_cpus()  local
72 	unsigned int cpu = smp_processor_id();  in smp_prepare_boot_cpu()  local
84 void native_cpu_die(unsigned int cpu)  in native_cpu_die()
103 int native_cpu_disable(unsigned int cpu)  in native_cpu_disable()
125 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
160 int native_cpu_disable(unsigned int cpu)  in native_cpu_disable()
165 void native_cpu_die(unsigned int cpu)  in native_cpu_die()
179 	unsigned int cpu = smp_processor_id();  in start_secondary()  local
218 int __cpu_up(unsigned int cpu, struct task_struct *tsk)  in __cpu_up()
254 	int cpu;  in smp_cpus_done()  local
265 void smp_send_reschedule(int cpu)  in smp_send_reschedule()
277 	int cpu;  in arch_send_call_function_ipi_mask()  local
283 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
290 	int cpu;  in smp_timer_broadcast()  local