trapinithart      144 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