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