arch/arm/mach-vexpress/include/mach/smp.h

   1 #ifndef __MACH_SMP_H
   2 #define __MACH_SMP_H
   3
   4 #include <asm/hardware/gic.h>
   5 #include <asm/smp_mpidr.h>
   6
   7 /*
   8  * We use IRQ1 as the IPI
   9  */
  10 static inline void smp_cross_call(const struct cpumask *mask)
  11 {
  12         gic_raise_softirq(mask, 1);
  13 }
  14 #endif