PTXSHIFT          115 mmu.h          #define PTX(va)         (((uint)(va) >> PTXSHIFT) & 0x3FF)
PTXSHIFT          118 mmu.h          #define PGADDR(d, t, o) ((uint)((d) << PDXSHIFT | (t) << PTXSHIFT | (o)))