NPDPEPG
_Static_assert(NPDPEPG == AMD64_NPDPEPG, "NPDPEPG mismatch");
PT3_u[NPDPEPG - 2] = (pdp_entry_t)PT2_u0 | PG_V | PG_RW;
PT3_u[NPDPEPG - 1] = (pdp_entry_t)PT2_u1 | PG_V | PG_RW;
PT3_u[NPDPEPG - 2] = (pdp_entry_t)PT2_u0 | PG_V | PG_RW;
PT3_u[NPDPEPG - 1] = (pdp_entry_t)PT2_u1 | PG_V | PG_RW;
PT3_u[NPDPEPG - 2] = (pdp_entry_t)pa_pt2_u0 | PG_V | PG_RW;
PT3_u[NPDPEPG - 1] = (pdp_entry_t)pa_pt2_u1 | PG_V | PG_RW;
NPML4EPG + NPML4EPG * NPDPEPG + NPML4EPG * NPDPEPG * NPDEPG),
for (; j < NPDPEPG && pg < start + size; j++, k = 0, l = 0) {
for (j = pmap_pdpe_index(sva); j < NPDPEPG; j++) {
for (i3 = 0; i3 < NPDPEPG; i3++) {
ndmpdpphys = howmany(ndmpdp, NPDPEPG);
.kva_max = KV4ADDR(NPML4EPG - 1, NPDPEPG - 1,
.km_high = KV4ADDR(KPML4BASE + NKPML4E - 1, NPDPEPG - 1,
.kva_max = KV5ADDR(NPML5EPG - 1, NPML4EPG - 1, NPDPEPG - 1,
.km_high = KV4ADDR(KPML4BASE + NKPML4E - 1, NPDPEPG - 1,
#define NUPDPE (NUPML4E * NPDPEPG) /* number of userland PDP
#define KPDPI (NPDPEPG-2) /* kernbase at -2GB */