kernel_satp        41 kernel/proc.h    /*   0 */ uint64 kernel_satp;   // kernel page table
kernel_satp       116 kernel/trap.c    p->trapframe->kernel_satp = r_satp();         // kernel page table