w_stvec            29 kernel/trap.c    w_stvec((uint64)kernelvec);
w_stvec            47 kernel/trap.c    w_stvec((uint64)kernelvec); //DOC: kernelvec
w_stvec           112 kernel/trap.c    w_stvec(trampoline_uservec);