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