gic_lock_irqsave  345 drivers/irqchip/irq-gic.c 	gic_lock_irqsave(flags);
gic_lock_irqsave  818 drivers/irqchip/irq-gic.c 	gic_lock_irqsave(flags);