| /* linux/arch/arm/mach-s5pv310/include/mach/smp.h | |
| * | |
| * Cloned from arch/arm/mach-realview/include/mach/smp.h | |
| */ | |
| #ifndef ASM_ARCH_SMP_H | |
| #define ASM_ARCH_SMP_H __FILE__ | |
| #include <asm/hardware/gic.h> | |
| #include <asm/smp_mpidr.h> | |
| extern void __iomem *gic_cpu_base_addr; | |
| /* | |
| * We use IRQ1 as the IPI | |
| */ | |
| static inline void smp_cross_call(const struct cpumask *mask) | |
| { | |
| gic_raise_softirq(mask, 1); | |
| } | |
| #endif |