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