Symbol: plic_irq_domain_translate