satp 535 kernel/proc.c uint64 satp = MAKE_SATP(p->pagetable); satp 537 kernel/proc.c ((void (*)(uint64))trampoline_userret)(satp); satp 90 kernel/trap.c uint64 satp = MAKE_SATP(p->pagetable); satp 93 kernel/trap.c return satp;