1 /*
2  * Copyright 2007-2008 Analog Devices Inc.
3  *
4  * Licensed under the GPL-2 or later.
5  */
6 
7 #ifndef _MACH_BF561_SMP
8 #define _MACH_BF561_SMP
9 
10 /* This header has to stand alone to avoid circular deps */
11 
12 struct task_struct;
13 
14 void platform_init_cpus(void);
15 
16 void platform_prepare_cpus(unsigned int max_cpus);
17 
18 int platform_boot_secondary(unsigned int cpu, struct task_struct *idle);
19 
20 void platform_secondary_init(unsigned int cpu);
21 
22 void platform_request_ipi(int irq, /*irq_handler_t*/ void *handler);
23 
24 void platform_send_ipi(cpumask_t callmap, int irq);
25 
26 void platform_send_ipi_cpu(unsigned int cpu, int irq);
27 
28 void platform_clear_ipi(unsigned int cpu, int irq);
29 
30 void bfin_local_timer_setup(void);
31 
32 #endif /* !_MACH_BF561_SMP */
33