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