plic_claim        180 kernel/defs.h  int             plic_claim(void);
plic_claim        193 kernel/trap.c      int irq = plic_claim();