77 static int boot_secondary(unsigned int cpu, struct task_struct *idle)  in boot_secondary()
87 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
135 	unsigned int cpu = smp_processor_id();  in secondary_start_kernel()  local
193 static int op_cpu_disable(unsigned int cpu)  in op_cpu_disable()
217 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
243 static int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
262 void __cpu_die(unsigned int cpu)  in __cpu_die()
290 	unsigned int cpu = smp_processor_id();  in cpu_die()  local
329 	unsigned int i, cpu = 1;  in of_smp_init_cpus()  local
432 	unsigned int cpu, ncores = num_possible_cpus();  in smp_prepare_cpus()  local
499 	unsigned int cpu, i;  in show_ipi_list()  local
511 u64 smp_irq_stat_cpu(unsigned int cpu)  in smp_irq_stat_cpu()
527 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
545 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()
568 	unsigned int cpu = smp_processor_id();  in handle_IPI()  local
619 void smp_send_reschedule(int cpu)  in smp_send_reschedule()