PDR_SHIFT
CTASSERT(PDR_SHIFT == PTE1_SHIFT);
#define NBPDR (1 << PDR_SHIFT)
#define NPDEPG (1 << (32 - PDR_SHIFT))