PT2TAB_ENTRIES
CTASSERT(NPTE1_IN_PT1 == (PT2TAB_ENTRIES * NPT2_IN_PG));
#define NB_IN_PT2TAB (PT2TAB_ENTRIES * sizeof(pt2_entry_t))
for (i = 0; i < PT2TAB_ENTRIES; i++) {