94 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
164 static int platform_cpu_kill(unsigned int cpu)  in platform_cpu_kill()
171 static int platform_cpu_disable(unsigned int cpu)  in platform_cpu_disable()
188 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
227 void __cpu_die(unsigned int cpu)  in __cpu_die()
256 	unsigned int cpu = smp_processor_id();  in cpu_die()  local
337 	unsigned int cpu;  in secondary_start_kernel()  local
395 	int cpu;  in smp_cpus_done()  local
474 	unsigned int cpu, i;  in show_ipi_list()  local
487 u64 smp_irq_stat_cpu(unsigned int cpu)  in smp_irq_stat_cpu()
508 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
533 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()
554 int register_ipi_completion(struct completion *completion, int cpu)  in register_ipi_completion()
560 static void ipi_complete(unsigned int cpu)  in ipi_complete()
575 	unsigned int cpu = smp_processor_id();  in handle_IPI()  local
642 void smp_send_reschedule(int cpu)  in smp_send_reschedule()
685 	int cpu = freq->cpu;  in cpufreq_callback()  local