PT2PG_SHIFT
CTASSERT((1 << PT2PG_SHIFT) == NPT2_IN_PG);
#define PT2PG_MASK ((1 << PT2PG_SHIFT) - 1)
#define PT2TAB_SHIFT (PTE1_SHIFT + PT2PG_SHIFT)