#ifndef ASMARM_ARCH_SMP_H #define ASMARM_ARCH_SMP_H #include <linux/config.h> #include <asm/hardware/gic.h> #define hard_smp_processor_id() \ ({ \ unsigned int cpunum; \ __asm__("mrc p15, 0, %0, c0, c0, 5" \ : "=r" (cpunum)); \ cpunum &= 0x0F; \ }) /* * We use IRQ1 as the IPI */ static inline void smp_cross_call(cpumask_t callmap) { gic_raise_softirq(callmap, 1); } /* * Do nothing on MPcore. */ static inline void smp_cross_call_done(cpumask_t callmap) { } #endif