gic_lock_irqsave   95 drivers/irqchip/irq-gic.c #define gic_lock_irqsave(f)		\
gic_lock_irqsave  105 drivers/irqchip/irq-gic.c #define gic_lock_irqsave(f)		do { (void)(f); } while(0)