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