NPML4EPG
pml4eindex = (va >> PML4SHIFT) & (NPML4EPG - 1);
#define PML4PML4I (NPML4EPG/2) /* Index of recursive PML4 mapping */
#define KPML4I (NPML4EPG-NKPML4E) /* Start of KVM */
#define NUPDP_USER (NPML4EPG/2)
#define NUPDP_TOTAL (NPML4EPG)
ptesize = NPML4EPG * NPDPEPG * 8;
(NPML4EPG * NPDPEPG - 1);
(NPML4EPG * NPDPEPG - 1);
(NPML4EPG * NPDPEPG - 1);
(NPML4EPG * NPDPEPG - 1);
(NPML4EPG * NPDPEPG - 1);
for (i = 0; i < NPML4EPG * NPDPEPG; ++i) {
KKASSERT(ndmpdp <= NDMPML4E * NPML4EPG);
#define NUPDP_TOTAL (NPML4EPG/2) /* total PDP pages */
idx = (p->pindex - (NUPT_TOTAL + NUPD_TOTAL)) % NPML4EPG;