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
12struct task_struct;
13
14void platform_init_cpus(void);
15
16void platform_prepare_cpus(unsigned int max_cpus);
17
18int platform_boot_secondary(unsigned int cpu, struct task_struct *idle);
19
20void platform_secondary_init(unsigned int cpu);
21
22void platform_request_ipi(int irq, /*irq_handler_t*/ void *handler);
23
24void platform_send_ipi(cpumask_t callmap, int irq);
25
26void platform_send_ipi_cpu(unsigned int cpu, int irq);
27
28void platform_clear_ipi(unsigned int cpu, int irq);
29
30void bfin_local_timer_setup(void);
31
32#endif /* !_MACH_BF561_SMP */
33