[PATCH 4.8-rc1 v23 1/4] irqchip: gic: Optimize locking in gic_raise_softirq