ARM: GIC: interface to send a SGI directly
authorNicolas Pitre <nicolas.pitre@linaro.org>
Wed, 28 Nov 2012 23:48:19 +0000 (18:48 -0500)
committerNicolas Pitre <nicolas.pitre@linaro.org>
Wed, 19 Jun 2013 20:54:28 +0000 (16:54 -0400)
commit1c332d4f223066932035578f22877d269443394e
treebede9700788e32f260ba2066b326bcdd09241348
parentdf321c43e3c3ed44d2434fd12d378736a82152d5
ARM: GIC: interface to send a SGI directly

The regular gic_raise_softirq() takes as input a CPU mask which is not
adequate when we need to send an IPI to a CPU which is not represented
in the kernel to GIC mapping.  That is the case with the b.L switcher
when GIC migration to the inbound CPU has not yet occurred.

Signed-off-by: Nicolas Pitre <nico@linaro.org>
drivers/irqchip/irq-gic.c
include/linux/irqchip/arm-gic.h