gic_unlock_irqrestore  350 drivers/irqchip/irq-gic.c 	gic_unlock_irqrestore(flags);
gic_unlock_irqrestore  833 drivers/irqchip/irq-gic.c 	gic_unlock_irqrestore(flags);