plicinit          178 kernel/defs.h  void            plicinit(void);
plicinit           25 kernel/main.c      plicinit();      // set up interrupt controller