PLIC_SCLAIM 37 kernel/plic.c int irq = *(uint32*)PLIC_SCLAIM(hart); PLIC_SCLAIM 46 kernel/plic.c *(uint32*)PLIC_SCLAIM(hart) = irq;