81 static void ipi_cpu_stop(unsigned int cpu)  in ipi_cpu_stop()  argument
84 	printk(KERN_CRIT "CPU%u: stopping\n", cpu);  in ipi_cpu_stop()
88 	set_cpu_online(cpu, false);  in ipi_cpu_stop()
125 	unsigned int cpu = smp_processor_id();  in ipi_handler_int0()  local
127 	platform_clear_ipi(cpu, IRQ_SUPPLE_0);  in ipi_handler_int0()
134 	int cpu = smp_processor_id();  in ipi_timer()  local
135 	struct clock_event_device *evt = &per_cpu(coretmr_events, cpu);  in ipi_timer()
142 	unsigned int cpu = smp_processor_id();  in ipi_handler_int1()  local
146 	platform_clear_ipi(cpu, IRQ_SUPPLE_1);  in ipi_handler_int1()
165 				ipi_cpu_stop(cpu);  in ipi_handler_int1()
180 	unsigned int cpu;  in bfin_ipi_init()  local
182 	for_each_possible_cpu(cpu) {  in bfin_ipi_init()
183 		bfin_ipi_data = &per_cpu(bfin_ipi, cpu);  in bfin_ipi_init()
191 	unsigned int cpu;  in send_ipi()  local
196 	for_each_cpu(cpu, cpumask) {  in send_ipi()
197 		bfin_ipi_data = &per_cpu(bfin_ipi, cpu);  in send_ipi()
203 	for_each_cpu(cpu, cpumask)  in send_ipi()
204 		platform_send_ipi_cpu(cpu, IRQ_SUPPLE_1);  in send_ipi()
207 void arch_send_call_function_single_ipi(int cpu)  in arch_send_call_function_single_ipi()  argument
209 	send_ipi(cpumask_of(cpu), BFIN_IPI_CALL_FUNC);  in arch_send_call_function_single_ipi()
217 void smp_send_reschedule(int cpu)  in smp_send_reschedule()  argument
219 	send_ipi(cpumask_of(cpu), BFIN_IPI_RESCHEDULE);  in smp_send_reschedule()
249 int __cpu_up(unsigned int cpu, struct task_struct *idle)  in __cpu_up()  argument
255 	ret = platform_boot_secondary(cpu, idle);  in __cpu_up()
262 static void setup_secondary(unsigned int cpu)  in setup_secondary()  argument
282 	unsigned int cpu = smp_processor_id();  in secondary_start_kernel()  local
316 	setup_secondary(cpu);  in secondary_start_kernel()
318 	platform_secondary_init(cpu);  in secondary_start_kernel()
324 	bfin_setup_caches(cpu);  in secondary_start_kernel()
326 	notify_cpu_starting(cpu);  in secondary_start_kernel()
335 	set_cpu_online(cpu, true);  in secondary_start_kernel()
354 	unsigned int cpu;  in smp_cpus_done()  local
356 	for_each_online_cpu(cpu)  in smp_cpus_done()
382 	unsigned int cpu = get_cpu();  in resync_core_icache()  local
384 	icache_invld_count[cpu]++;  in resync_core_icache()
396 	unsigned int cpu = get_cpu();  in resync_core_dcache()  local
398 	dcache_invld_count[cpu]++;  in resync_core_dcache()
407 	unsigned int cpu = smp_processor_id();  in __cpu_disable()  local
409 	if (cpu == 0)  in __cpu_disable()
412 	set_cpu_online(cpu, false);  in __cpu_disable()
416 int __cpu_die(unsigned int cpu)  in __cpu_die()  argument
418 	return cpu_wait_death(cpu, 5);  in __cpu_die()