Symbol: gic_configure_irq