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(cpumask_t callmap
)
20 gic_raise_softirq(callmap
, 1);
24 * Do nothing on MPcore.
26 static inline void smp_cross_call_done(cpumask_t callmap
)