91 static inline int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
102 static int boot_secondary(unsigned int cpu, struct task_struct *idle)  in boot_secondary()
112 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
186 	unsigned int cpu;  in secondary_start_kernel()  local
251 static int op_cpu_disable(unsigned int cpu)  in op_cpu_disable()
275 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
299 static int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
316 void __cpu_die(unsigned int cpu)  in __cpu_die()
344 	unsigned int cpu = smp_processor_id();  in cpu_die()  local
370 	int cpu = smp_processor_id();  in cpu_die_early()  local
452 static bool __init is_mpidr_duplicate(unsigned int cpu, u64 hwid)  in is_mpidr_duplicate()
466 static int __init smp_cpu_setup(int cpu)  in smp_cpu_setup()
485 struct acpi_madt_generic_interrupt *acpi_cpu_get_madt_gicc(int cpu)  in acpi_cpu_get_madt_gicc()
695 	unsigned int cpu;  in smp_prepare_cpus()  local
762 	unsigned int cpu, i;  in show_ipi_list()  local
774 u64 smp_irq_stat_cpu(unsigned int cpu)  in smp_irq_stat_cpu()
790 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
813 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()
828 static void ipi_cpu_crash_stop(unsigned int cpu, struct pt_regs *regs)  in ipi_cpu_crash_stop()
853 	unsigned int cpu = smp_processor_id();  in handle_IPI()  local
921 void smp_send_reschedule(int cpu)  in smp_send_reschedule()