uservec            12 kernel/trap.c  extern char trampoline[], uservec[], userret[];
uservec           100 kernel/trap.c    uint64 trampoline_uservec = TRAMPOLINE + (uservec - trampoline);