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