Symbol: plic_irqsrc