PX                 92 kernel/vm.c        pte_t *pte = &pagetable[PX(level, va)];
PX                102 kernel/vm.c      return &pagetable[PX(0, va)];