Symbol: gicv5_irq_ppi_domain_translate