trapinithart      147 kernel/defs.h  void            trapinithart(void);
trapinithart       24 kernel/main.c      trapinithart();  // install kernel trap vector
trapinithart       40 kernel/main.c      trapinithart();   // install kernel trap vector