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