#ifndef __MACH_SMP_H#define __MACH_SMP_H#include <asm/hardware/gic.h>#include <asm/smp_mpidr.h>/* * We use IRQ1 as the IPI */staticinlinevoidsmp_cross_call(const struct cpumask *mask){#if defined(CONFIG_ARM_GIC)gic_raise_softirq(mask,1);#endif}#endif