NDMPML4E
#define DMPML4I (KPML4I-NDMPML4E) /* Next N*512GB down for DMAP */
#if NKPML4E + NDMPML4E >= 255
#define DMAP_MAX_ADDRESS KVADDR(DMPML4I+NDMPML4E, 0, 0, 0)
for (j = 0; j < NDMPML4E; ++j) {
for (j = 0; j < NDMPML4E; ++j) {
KKASSERT(ndmpdp <= NDMPML4E * NPML4EPG);
DMPDPphys = allocpages(firstaddr, NDMPML4E);