90 static inline int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
101 static int boot_secondary(unsigned int cpu, struct task_struct *idle)  in boot_secondary()
113 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
204 	unsigned int cpu;  in secondary_start_kernel()  local
276 static int op_cpu_disable(unsigned int cpu)  in op_cpu_disable()
302 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
327 static int op_cpu_kill(unsigned int cpu)  in op_cpu_kill()
346 void __cpu_die(unsigned int cpu)  in __cpu_die()
373 	unsigned int cpu = smp_processor_id();  in cpu_die()  local
394 static void __cpu_try_die(int cpu)  in __cpu_try_die()
410 	int cpu = smp_processor_id();  in cpu_die_early()  local
500 static bool __init is_mpidr_duplicate(unsigned int cpu, u64 hwid)  in is_mpidr_duplicate()
514 static int __init smp_cpu_setup(int cpu)  in smp_cpu_setup()
536 struct acpi_madt_generic_interrupt *acpi_cpu_get_madt_gicc(int cpu)  in acpi_cpu_get_madt_gicc()
747 	unsigned int cpu;  in smp_prepare_cpus()  local
806 	unsigned int cpu, i;  in arch_show_interrupts()  local
826 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
868 static void ipi_cpu_crash_stop(unsigned int cpu, struct pt_regs *regs)  in ipi_cpu_crash_stop()
891 	unsigned int cpu = smp_processor_id();  in do_handle_IPI()  local
958 static void ipi_setup(int cpu)  in ipi_setup()
970 static void ipi_teardown(int cpu)  in ipi_teardown()
1006 void smp_send_reschedule(int cpu)  in smp_send_reschedule()