level             373 kernel/riscv.h #define PXSHIFT(level)  (PGSHIFT+(9*(level)))
level             374 kernel/riscv.h #define PX(level, va) ((((uint64) (va)) >> PXSHIFT(level)) & PXMASK)
level             103 kernel/vm.c      for(int level = 2; level > 0; level--) {
level             104 kernel/vm.c        pte_t *pte = &pagetable[PX(level, va)];