trapinit          146 kernel/defs.h  void            trapinit(void);
trapinit           23 kernel/main.c      trapinit();      // trap vectors