20 #define IRQ_REG_X4(irq)		(4 * ((irq) / 4))  argument
21 #define IRQ_REG_X16(irq)	(4 * ((irq) / 16))  argument
22 #define IRQ_REG_X32(irq)	(4 * ((irq) / 32))  argument
23 #define IRQ_REG_X4_OFFSET(irq)	((irq) % 4)  argument
24 #define IRQ_REG_X16_OFFSET(irq)	((irq) % 16)  argument
25 #define IRQ_REG_X32_OFFSET(irq)	((irq) % 32)  argument
117 static int gic_irq_set_trigger(int irq, eINT_TRIG trig)  in gic_irq_set_trigger()
134 static int gic_irq_enable(int irq)  in gic_irq_enable()
171 static int gic_irq_disable(int irq)  in gic_irq_disable()
185 static int gic_irq_set_type(int irq, unsigned int type)  in gic_irq_set_type()
207 static void gic_irq_eoi(int irq)  in gic_irq_eoi()
232 	int irq_nr, i, irq;  in gic_irq_suspend()  local
286 	int irq_nr, i, irq;  in gic_irq_resume()  local