2 * Copyright 2007-2009 Analog Devices Inc.
3 * Philippe Gerum <rpm@xenomai.org>
5 * Licensed under the GPL-2 or later.
8 #ifndef __ASM_BLACKFIN_SMP_H
9 #define __ASM_BLACKFIN_SMP_H
11 #include <linux/kernel.h>
12 #include <linux/threads.h>
13 #include <linux/cpumask.h>
14 #include <linux/cache.h>
15 #include <asm/blackfin.h>
18 #define raw_smp_processor_id() blackfin_core_id()
20 extern void bfin_relocate_coreb_l1_mem(void);
22 #if defined(CONFIG_SMP) && defined(CONFIG_ICACHE_FLUSH_L1)
23 asmlinkage
void blackfin_icache_flush_range_l1(unsigned long *ptr
);
24 extern unsigned long blackfin_iflush_l1_entry
[NR_CPUS
];
27 struct corelock_slot
{
30 extern struct corelock_slot corelock
;
32 #ifdef __ARCH_SYNC_CORE_ICACHE
33 extern unsigned long icache_invld_count
[NR_CPUS
];
35 #ifdef __ARCH_SYNC_CORE_DCACHE
36 extern unsigned long dcache_invld_count
[NR_CPUS
];
39 void smp_icache_flush_range_others(unsigned long start
,
41 #ifdef CONFIG_HOTPLUG_CPU
44 void platform_cpu_die(void);
45 int __cpu_disable(void);
46 int __cpu_die(unsigned int cpu
);
49 #endif /* !__ASM_BLACKFIN_SMP_H */