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)))