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)
committerChristoffer Dall <christoffer.dall@linaro.org>
Thu, 2 Oct 2014 07:30:41 +0000 (09:30 +0200)
commit43eafb4c0fff64f9ec85fa98f2300c52b2c27aff
tree5954388ae741ec952dd0631a3ccef5c5316c9917
parentf4bf1bf03b1d82dea6f7f2f22dfbda1847933502
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>
(cherry picked from commit 14d2ca615a85e2dbc744c12c296affd35f119fa7)
Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>
drivers/irqchip/irq-gic.c
include/linux/irqchip/arm-gic.h