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