2009-01-07 18:14:39 +03:00
|
|
|
/*
|
2009-09-24 18:11:24 +04:00
|
|
|
* Copyright 2007-2009 Analog Devices Inc.
|
|
|
|
* Philippe Gerum <rpm@xenomai.org>
|
2009-01-07 18:14:39 +03:00
|
|
|
*
|
2009-09-24 18:11:24 +04:00
|
|
|
* Licensed under the GPL-2 or later.
|
2009-01-07 18:14:39 +03:00
|
|
|
*/
|
|
|
|
|
|
|
|
#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()
|
|
|
|
|
2009-01-07 18:14:39 +03:00
|
|
|
extern char coreb_trampoline_start, coreb_trampoline_end;
|
|
|
|
|
2009-01-07 18:14:39 +03:00
|
|
|
struct corelock_slot {
|
|
|
|
int lock;
|
|
|
|
};
|
2010-01-20 13:56:24 +03:00
|
|
|
extern struct corelock_slot corelock;
|
2009-01-07 18:14:39 +03:00
|
|
|
|
2010-02-01 09:07:50 +03:00
|
|
|
#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
|
|
|
|
|
2009-01-07 18:14:39 +03:00
|
|
|
void smp_icache_flush_range_others(unsigned long start,
|
|
|
|
unsigned long end);
|
2009-12-28 14:13:51 +03:00
|
|
|
#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
|
2009-01-07 18:14:39 +03:00
|
|
|
|
|
|
|
#endif /* !__ASM_BLACKFIN_SMP_H */
|