| /* |
| * Copyright 2007-2009 Analog Devices Inc. |
| * Philippe Gerum <rpm@xenomai.org> |
| * |
| * Licensed under the GPL-2 or later. |
| */ |
| |
| #ifndef __ASM_BLACKFIN_SMP_H |
| #define __ASM_BLACKFIN_SMP_H |
| |
| #include <linux/kernel.h> |
| #include <linux/threads.h> |
| #include <linux/cpumask.h> |
| #include <linux/cache.h> |
| #include <asm/blackfin.h> |
| #include <mach/smp.h> |
| |
| #define raw_smp_processor_id() blackfin_core_id() |
| |
| extern char coreb_trampoline_start, coreb_trampoline_end; |
| |
| struct corelock_slot { |
| int lock; |
| }; |
| extern struct corelock_slot corelock; |
| |
| #ifdef __ARCH_SYNC_CORE_ICACHE |
| extern unsigned long icache_invld_count[NR_CPUS]; |
| #endif |
| #ifdef __ARCH_SYNC_CORE_DCACHE |
| extern unsigned long dcache_invld_count[NR_CPUS]; |
| #endif |
| |
| void smp_icache_flush_range_others(unsigned long start, |
| unsigned long end); |
| #ifdef CONFIG_HOTPLUG_CPU |
| void coreb_sleep(u32 sic_iwr0, u32 sic_iwr1, u32 sic_iwr2); |
| void cpu_die(void); |
| void platform_cpu_die(void); |
| int __cpu_disable(void); |
| int __cpu_die(unsigned int cpu); |
| #endif |
| |
| #endif /* !__ASM_BLACKFIN_SMP_H */ |
