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