w_stvec            29 kernel/trap.c    w_stvec((uint64)kernelvec);
w_stvec            46 kernel/trap.c    w_stvec((uint64)kernelvec);
w_stvec           101 kernel/trap.c    w_stvec(trampoline_uservec);