Symbol: gicv5_its_alloc_irqsrc