PDT_SHIFT
#define PDT_MASK (((1 << PDT_BITS) - 1) << PDT_SHIFT)
#define PDTIDX(va) (((va) & PDT_MASK) >> PDT_SHIFT)
npdt = roundup(avail_end, (1 << PDT_SHIFT)) >> PDT_SHIFT;