NKPML4E
KPDPphys = allocpages(firstaddr, NKPML4E);
for (i = 0; i < NKPML4E; i++) {
for (i = 0; i < NKPML4E; i++) {
for (i = 0; i < NKPML4E; i++) /* KVA */
.km_high = KV4ADDR(KPML4BASE + NKPML4E - 1, NPDPEPG - 1,
.km_high = KV4ADDR(KPML4BASE + NKPML4E - 1, NPDPEPG - 1,
#define NKASANPML4E ((NKPML4E + 7) / 8)
#define NKMSANSHADPML4E NKPML4E
#define NKMSANORIGPML4E NKPML4E
#define KPML4BASE (NPML4EPG-NKPML4E) /* KVM at highest addresses */