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