Symbol: gic_irq_domain_map