trampoline_userret  533 kernel/proc.c    uint64 trampoline_userret = TRAMPOLINE + (userret - trampoline);
trampoline_userret  534 kernel/proc.c    ((void (*)(uint64))trampoline_userret)(satp);