w_stvec            29 kernel/trap.c    w_stvec((uint64)kernelvec);
w_stvec            47 kernel/trap.c    w_stvec((uint64)kernelvec);
w_stvec           111 kernel/trap.c    w_stvec(trampoline_uservec);