Symbol: plic_intr