gic_unlock_irqrestore   97 drivers/irqchip/irq-gic.c #define gic_unlock_irqrestore(f)	\
gic_unlock_irqrestore  106 drivers/irqchip/irq-gic.c #define gic_unlock_irqrestore(f)	do { (void)(f); } while(0)