Symbol: its_irq_gic_domain_alloc