81 static inline int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
92 static int boot_secondary(unsigned int cpu, struct task_struct *idle)  in boot_secondary()
102 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
197 	unsigned int cpu;  in secondary_start_kernel()  local
265 static int op_cpu_disable(unsigned int cpu)  in op_cpu_disable()
289 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
313 static int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
330 void __cpu_die(unsigned int cpu)  in __cpu_die()
358 	unsigned int cpu = smp_processor_id();  in cpu_die()  local
384 	int cpu = smp_processor_id();  in cpu_die_early()  local
472 static bool __init is_mpidr_duplicate(unsigned int cpu, u64 hwid)  in is_mpidr_duplicate()
486 static int __init smp_cpu_setup(int cpu)  in smp_cpu_setup()
505 struct acpi_madt_generic_interrupt *acpi_cpu_get_madt_gicc(int cpu)  in acpi_cpu_get_madt_gicc()
715 	unsigned int cpu;  in smp_prepare_cpus()  local
782 	unsigned int cpu, i;  in show_ipi_list()  local
794 u64 smp_irq_stat_cpu(unsigned int cpu)  in smp_irq_stat_cpu()
810 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
853 static void ipi_cpu_crash_stop(unsigned int cpu, struct pt_regs *regs)  in ipi_cpu_crash_stop()
878 	unsigned int cpu = smp_processor_id();  in handle_IPI()  local
946 void smp_send_reschedule(int cpu)  in smp_send_reschedule()