Symbol: xtensa_irq_domain_xlate