Symbol: gicv5_irq_spi_domain_translate