98 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
168 static int platform_cpu_kill(unsigned int cpu)  in platform_cpu_kill()
175 static int platform_cpu_disable(unsigned int cpu)  in platform_cpu_disable()
183 int platform_can_hotplug_cpu(unsigned int cpu)  in platform_can_hotplug_cpu()
205 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
244 void __cpu_die(unsigned int cpu)  in __cpu_die()
273 	unsigned int cpu = smp_processor_id();  in arch_cpu_idle_dead()  local
354 	unsigned int cpu;  in secondary_start_kernel()  local
413 	int cpu;  in smp_cpus_done()  local
492 	unsigned int cpu, i;  in show_ipi_list()  local
505 u64 smp_irq_stat_cpu(unsigned int cpu)  in smp_irq_stat_cpu()
526 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
551 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()
572 int register_ipi_completion(struct completion *completion, int cpu)  in register_ipi_completion()
578 static void ipi_complete(unsigned int cpu)  in ipi_complete()
593 	unsigned int cpu = smp_processor_id();  in handle_IPI()  local
666 void smp_send_reschedule(int cpu)  in smp_send_reschedule()
709 	int cpu = freq->cpu;  in cpufreq_callback()  local