#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(conststructcpumask*mask){gic_raise_softirq(mask,1);}/* * Do nothing on MPcore. */staticinlinevoidsmp_cross_call_done(cpumask_tcallmap){}#endif