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