1 #ifndef ASMARM_ARCH_SMP_H
2 #define ASMARM_ARCH_SMP_H
4 #include <linux/config.h>
6 #include <asm/hardware/gic.h>
8 #define hard_smp_processor_id() \
10 unsigned int cpunum; \
11 __asm__("mrc p15, 0, %0, c0, c0, 5" \
17 * We use IRQ1 as the IPI
19 static inline void smp_cross_call(cpumask_t callmap
)
21 gic_raise_softirq(callmap
, 1);
25 * Do nothing on MPcore.
27 static inline void smp_cross_call_done(cpumask_t callmap
)