Symbol: plic_irq_mask