plicinithart      179 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