Symbol: xive_irq_domain_xlate