4 #include <asm/hardware/gic.h>
5 #include <asm/smp_mpidr.h>
8 * We use IRQ1 as the IPI
10 static inline void smp_cross_call(const struct cpumask
*mask
)
12 #if defined(CONFIG_ARM_GIC)
13 gic_raise_softirq(mask
, 1);
This page took 0.033286 seconds and 5 git commands to generate.