102 	unsigned int cpu = smp_processor_id();  in smp_prepare_boot_cpu()  local
117 	unsigned int cpu = smp_processor_id();  in secondary_start_kernel()  local
165 	unsigned cpu = (unsigned)p;  in mx_cpu_start()  local
175 	unsigned cpu = (unsigned)p;  in mx_cpu_stop()  local
188 static int boot_secondary(unsigned int cpu, struct task_struct *ts)  in boot_secondary()
224 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
258 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
284 static void platform_cpu_kill(unsigned int cpu)  in platform_cpu_kill()
293 void __cpu_die(unsigned int cpu)  in __cpu_die()
370 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
375 void smp_send_reschedule(int cpu)  in smp_send_reschedule()
389 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()
397 	unsigned int cpu = smp_processor_id();  in ipi_interrupt()  local
421 	unsigned int cpu;  in show_ipi_list()  local