NPTE1_IN_PT1
CTASSERT(NB_IN_PT1 == (sizeof(pt1_entry_t) * NPTE1_IN_PT1));
CTASSERT(NPTE1_IN_PT1 == (PT2TAB_ENTRIES * NPT2_IN_PG));
for (i = 0; i < NPTE1_IN_PT1; i++) {
for(i = 0; i < NPTE1_IN_PT1; i++) {
#define PT2TAB_ENTRIES (NPTE1_IN_PT1 / NPT2_IN_PG)
#define PT2MAP_SIZE (NPTE1_IN_PT1 * NB_IN_PT2)