plic_complete     178 kernel/defs.h  void            plic_complete(int);
plic_complete     210 kernel/trap.c        plic_complete(irq);