userret           505 kernel/proc.c    extern char userret[];
userret           533 kernel/proc.c    uint64 trampoline_userret = TRAMPOLINE + (userret - trampoline);