/* 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>/* * We use IRQ1 as the IPI */staticinlinevoidsmp_cross_call(conststructcpumask*mask,intipi){gic_raise_softirq(mask,ipi);}#endif