2 * Copyright 2007-2008 Analog Devices Inc.
4 * Licensed under the GPL-2 or later.
7 #ifndef _MACH_BF561_SMP
8 #define _MACH_BF561_SMP
12 void platform_init_cpus(void);
14 void platform_prepare_cpus(unsigned int max_cpus);
16 int platform_boot_secondary(unsigned int cpu, struct task_struct *idle);
18 void platform_secondary_init(unsigned int cpu);
20 void platform_request_ipi(int (*handler)(int, void *));
22 void platform_send_ipi(cpumask_t callmap);
24 void platform_send_ipi_cpu(unsigned int cpu);
26 void platform_clear_ipi(unsigned int cpu);
28 #endif /* !_MACH_BF561_SMP */