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