gic_configure_irq
int gic_configure_irq(unsigned int irq, unsigned int type,
ret = gic_configure_irq(index, type, base + offset);
ret = gic_configure_irq(gicirq, type, base + GIC_DIST_CONFIG);
ret = gic_configure_irq(irq, type, base + GIC_DIST_CONFIG);