363 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
372 void smp_send_reschedule(int cpu)  in smp_send_reschedule()
725 static void __init smp_store_cpu_info(int cpu)  in smp_store_cpu_info()
821 static void __init smp_show_cpu_info(int cpu)  in smp_show_cpu_info()
840 	int cpu;  in smp_callin()  local
881 	int cpu;  in smp_online()  local
933 int __cpu_up(unsigned int cpu, struct task_struct *tidle)  in __cpu_up()
976 	int cpu, ret;  in topology_init()  local
992 	int cpu = smp_processor_id();  in __cpu_disable()  local
1001 void __cpu_die(unsigned int cpu)  in __cpu_die()
1114 	unsigned int cpu = smp_processor_id();  in restart_wakeup_cpu()  local
1146 static void run_sleep_cpu(unsigned int cpu)  in run_sleep_cpu()
1167 static void run_wakeup_cpu(unsigned int cpu)  in run_wakeup_cpu()