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