1 #ifndef ASMARM_ARCH_SMP_H
2 #define ASMARM_ARCH_SMP_H
5 #include <asm/hardware/gic.h>
7 #define hard_smp_processor_id() \
10 __asm__("mrc p15, 0, %0, c0, c0, 5" \
16 * We use IRQ1 as the IPI
18 static inline void smp_cross_call(const struct cpumask
*mask
)
20 gic_raise_softirq(mask
, 1);