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
   6 /*
   7  * We use IRQ1 as the IPI
   8  */
   9 static inline void smp_cross_call(const struct cpumask *mask, int ipi)
  10 {
  11         gic_raise_softirq(mask, ipi);
  12 }
  13 #endif