satp              532 kernel/proc.c    uint64 satp = MAKE_SATP(p->pagetable);
satp              534 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;