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