81 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()
125 	unsigned int cpu = smp_processor_id();  in ipi_handler_int0()  local
134 	int cpu = smp_processor_id();  in ipi_timer()  local
142 	unsigned int cpu = smp_processor_id();  in ipi_handler_int1()  local
180 	unsigned int cpu;  in bfin_ipi_init()  local
191 	unsigned int cpu;  in send_ipi()  local
207 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()
217 void smp_send_reschedule(int cpu)  in smp_send_reschedule()
249 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()
262 static void setup_secondary(unsigned int cpu)  in setup_secondary()
282 	unsigned int cpu = smp_processor_id();  in secondary_start_kernel()  local
354 	unsigned int cpu;  in smp_cpus_done()  local
382 	unsigned int cpu = get_cpu();  in resync_core_icache()  local
396 	unsigned int cpu = get_cpu();  in resync_core_dcache()  local
407 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
416 int __cpu_die(unsigned int cpu)  in __cpu_die()