#ifndef ASMARM_ARCH_SMP_H#define ASMARM_ARCH_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){gic_raise_softirq(mask,1);}/* * Do nothing on MPcore. */staticinlinevoidsmp_cross_call_done(cpumask_t callmap){}#endif