NPT2_IN_PG
pte1_idx += NPT2_IN_PG;
for (i = 0; i < NPT2_IN_PG; i++)
for (i = 0; i < NPT2_IN_PG; i++, pte1p++) {
vm_offset_t kernel_vm_end = KERNBASE + NKPT2PG * NPT2_IN_PG * PTE1_SIZE;
CTASSERT((KERNBASE & (NPT2_IN_PG * PTE1_SIZE - 1)) == 0);
CTASSERT(PAGE_SIZE == (NPT2_IN_PG * NB_IN_PT2));
CTASSERT((1 << PT2PG_SHIFT) == NPT2_IN_PG);
CTASSERT(NPTE1_IN_PT1 == (PT2TAB_ENTRIES * NPT2_IN_PG));
va &= ~(NPT2_IN_PG * PTE1_SIZE - 1);
#define NPTE2_IN_PG (NPT2_IN_PG * NPTE2_IN_PT2)
#define PT2TAB_ENTRIES (NPTE1_IN_PT1 / NPT2_IN_PG)