PDT_BITS
#define PDT_ENTRIES (1<<(PDT_BITS))
#define SDT_SHIFT (PDT_BITS + PG_BITS)
#define PDT_MASK (((1 << PDT_BITS) - 1) << PDT_SHIFT)