[PATCH 3.18-rc4 v12 1/5] irqchip: gic: Optimize locking in gic_raise_softirq