/*
   *  linux/include/asm-arm/smp.h
   *
   *  Copyright (C) 2004-2005 ARM Ltd.
   *
   * This program is free software; you can redistribute it and/or modify
   * it under the terms of the GNU General Public License version 2 as
   * published by the Free Software Foundation.
   */
  #ifndef __ASM_ARM_SMP_H
  #define __ASM_ARM_SMP_H
  
  #include <linux/config.h>
  #include <linux/threads.h>
  #include <linux/cpumask.h>
  #include <linux/thread_info.h>
  
  #include <asm/arch/smp.h>
  
  #ifndef CONFIG_SMP
  # error "<asm-arm/smp.h> included in non-SMP build"
  #endif

  #define raw_smp_processor_id() (current_thread_info()->cpu)

  /*
   * at the moment, there's not a big penalty for changing CPUs
   * (the >big< penalty is running SMP in the first place)
   */
  #define PROC_CHANGE_PENALTY		15
  
  struct seq_file;
  
  /*
   * generate IPI list text
   */
  extern void show_ipi_list(struct seq_file *p);
  
  /*

   * Called from assembly code, this handles an IPI.
   */
  asmlinkage void do_IPI(struct pt_regs *regs);
  
  /*

   * Setup the SMP cpu_possible_map
   */
  extern void smp_init_cpus(void);
  
  /*

   * Move global data into per-processor storage.
   */
  extern void smp_store_cpu_info(unsigned int cpuid);
  
  /*
   * Raise an IPI cross call on CPUs in callmap.
   */
  extern void smp_cross_call(cpumask_t callmap);
  
  /*

   * Broadcast a timer interrupt to the other CPUs.
   */
  extern void smp_send_timer(void);
  
  /*

   * Boot a secondary CPU, and assign it the specified idle task.
   * This also gives us the initial stack to use for this CPU.
   */
  extern int boot_secondary(unsigned int cpu, struct task_struct *);

  /*

   * Called from platform specific assembly code, this is the
   * secondary CPU entry point.
   */
  asmlinkage void secondary_start_kernel(void);
  
  /*

   * Perform platform specific initialisation of the specified CPU.
   */
  extern void platform_secondary_init(unsigned int cpu);
  
  /*
   * Initial data for bringing up a secondary CPU.
   */
  struct secondary_data {
  	unsigned long pgdir;
  	void *stack;
  };
  extern struct secondary_data secondary_data;

  extern int __cpu_disable(void);
  extern int mach_cpu_disable(unsigned int cpu);
  
  extern void __cpu_die(unsigned int cpu);
  extern void cpu_die(void);
  
  extern void platform_cpu_die(unsigned int cpu);
  extern int platform_cpu_kill(unsigned int cpu);
  extern void platform_cpu_enable(unsigned int cpu);

  #ifdef CONFIG_LOCAL_TIMERS
  /*
   * Setup a local timer interrupt for a CPU.
   */
  extern void local_timer_setup(unsigned int cpu);
  
  /*
   * Stop a local timer interrupt.
   */
  extern void local_timer_stop(unsigned int cpu);
  
  /*
   * Platform provides this to acknowledge a local timer IRQ
   */
  extern int local_timer_ack(void);
  
  #else
  
  static inline void local_timer_setup(unsigned int cpu)
  {
  }
  
  static inline void local_timer_stop(unsigned int cpu)
  {
  }
  
  #endif
  
  /*
   * show local interrupt info
   */
  extern void show_local_irqs(struct seq_file *);
  
  /*
   * Called from assembly, this is the local timer IRQ handler
   */
  asmlinkage void do_local_timer(struct pt_regs *);

  #endif /* ifndef __ASM_ARM_SMP_H */