trampoline_uservec  100 kernel/trap.c    uint64 trampoline_uservec = TRAMPOLINE + (uservec - trampoline);
trampoline_uservec  101 kernel/trap.c    w_stvec(trampoline_uservec);