plic_complete     181 kernel/defs.h  void            plic_complete(int);
plic_complete     207 kernel/trap.c        plic_complete(irq);