180 void smp_send_reschedule(int cpu)  in smp_send_reschedule()
186 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
193 	unsigned int cpu;  in arch_send_call_function_ipi()  local
200 void smp_send_debugger_break(int cpu)  in smp_send_debugger_break()
237 static void __init smp_create_idle(unsigned int cpu)  in smp_create_idle()
256 	unsigned int cpu;  in smp_prepare_cpus()  local
301 	unsigned int cpu = smp_processor_id();  in generic_cpu_disable()  local
314 int generic_cpu_enable(unsigned int cpu)  in generic_cpu_enable()
336 void generic_cpu_die(unsigned int cpu)  in generic_cpu_die()
351 	unsigned int cpu;  in generic_mach_cpu_die()  local
365 static int __devinit cpu_enable(unsigned int cpu)  in cpu_enable()
373 int __cpuinit __cpu_up(unsigned int cpu)  in __cpu_up()
439 int cpu_to_core_id(int cpu)  in cpu_to_core_id()
462 static struct device_node *cpu_to_l2cache(int cpu)  in cpu_to_l2cache()
484 	unsigned int cpu = smp_processor_id();  in start_secondary()  local
573 	int cpu = smp_processor_id();  in __cpu_disable()  local
610 void __cpu_die(unsigned int cpu)  in __cpu_die()