plic_claim        176 kernel/defs.h  int             plic_claim(void);
plic_claim        194 kernel/trap.c      int irq = plic_claim();