]> git.kernelconcepts.de Git - karo-tx-linux.git/commit
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>
Mon, 23 Sep 2013 22:47:28 +0000 (18:47 -0400)
commit14d2ca615a85e2dbc744c12c296affd35f119fa7
tree45e8d8a2746d5f5447363a93b7d015f407f69e29
parenteeb446581ba23a5a36b4f5c7bfa2b1f8f7c9fb66
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