kernel_pagetable   14 kernel/vm.c    pagetable_t kernel_pagetable;
kernel_pagetable   68 kernel/vm.c      kernel_pagetable = kvmmake();
kernel_pagetable   79 kernel/vm.c      w_satp(MAKE_SATP(kernel_pagetable));