plic_complete     177 kernel/defs.h  void            plic_complete(int);
plic_complete     208 kernel/trap.c        plic_complete(irq);