kernel_pagetable   14 kernel/vm.c    pagetable_t kernel_pagetable;
kernel_pagetable   69 kernel/vm.c      kernel_pagetable = kvmmake();
kernel_pagetable   80 kernel/vm.c      w_satp(MAKE_SATP(kernel_pagetable));