kernel_pagetable   12 kernel/vm.c    pagetable_t kernel_pagetable;
kernel_pagetable   56 kernel/vm.c      kernel_pagetable = kvmmake();
kernel_pagetable   67 kernel/vm.c      w_satp(MAKE_SATP(kernel_pagetable));