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