Symbol: gicv5_irqsrc