1 #ifndef ASMARM_ARCH_SMP_H
2 #define ASMARM_ARCH_SMP_H
4 #include <linux/config.h>
6 #include <asm/arch/hardware.h>
9 #define hard_smp_processor_id() \
11 unsigned int cpunum; \
12 __asm__("mrc p15, 0, %0, c0, c0, 5" \
17 extern void secondary_scan_irqs(void);