plic_claim        177 kernel/defs.h  int             plic_claim(void);
plic_claim        196 kernel/trap.c      int irq = plic_claim();