79 static int boot_secondary(unsigned int cpu, struct task_struct *idle)  in boot_secondary()
89 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
137 	unsigned int cpu = smp_processor_id();  in secondary_start_kernel()  local
202 static int op_cpu_disable(unsigned int cpu)  in op_cpu_disable()
226 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
247 static int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
264 void __cpu_die(unsigned int cpu)  in __cpu_die()
296 	unsigned int cpu = smp_processor_id();  in cpu_die()  local
374 static bool __init is_mpidr_duplicate(unsigned int cpu, u64 hwid)  in is_mpidr_duplicate()
388 static int __init smp_cpu_setup(int cpu)  in smp_cpu_setup()
573 	unsigned int cpu, ncores = num_possible_cpus();  in smp_prepare_cpus()  local
640 	unsigned int cpu, i;  in show_ipi_list()  local
652 u64 smp_irq_stat_cpu(unsigned int cpu)  in smp_irq_stat_cpu()
668 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
686 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()
709 	unsigned int cpu = smp_processor_id();  in handle_IPI()  local
760 void smp_send_reschedule(int cpu)  in smp_send_reschedule()