Symbol: gicv5_base_irqsrc