kernelvec          15 kernel/trap.c  void kernelvec();
kernelvec          29 kernel/trap.c    w_stvec((uint64)kernelvec);
kernelvec          46 kernel/trap.c    w_stvec((uint64)kernelvec);