plicinithart      176 kernel/defs.h  void            plicinithart(void);
plicinithart       26 kernel/main.c      plicinithart();     // ask PLIC for device interrupts
plicinithart       41 kernel/main.c      plicinithart(); // ask PLIC for device interrupts