PDXSHIFT          110 main.c           [KERNBASE>>PDXSHIFT] = (0) | PTE_P | PTE_W | PTE_PS,
PDXSHIFT          112 mmu.h          #define PDX(va)         (((uint)(va) >> PDXSHIFT) & 0x3FF)
PDXSHIFT          118 mmu.h          #define PGADDR(d, t, o) ((uint)((d) << PDXSHIFT | (t) << PTXSHIFT | (o)))