/*

   * 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 void bfin_relocate_coreb_l1_mem(void);
  
  #if defined(CONFIG_SMP) && defined(CONFIG_ICACHE_FLUSH_L1)
  asmlinkage void blackfin_icache_flush_range_l1(unsigned long *ptr);
  extern unsigned long blackfin_iflush_l1_entry[NR_CPUS];
  #endif

  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_die(void);

  void cpu_die(void);
  void platform_cpu_die(void);
  int __cpu_disable(void);
  int __cpu_die(unsigned int cpu);
  #endif

  void smp_timer_broadcast(const struct cpumask *mask);

  #endif /* !__ASM_BLACKFIN_SMP_H */