DMPML4I
p4d_p = la57 ? (pml4_entry_t *)DMPML4phys : &p4_p[DMPML4I];
pm_pml4[DMPML4I + i] = (DMPDPphys + ptoa(i)) | X86_PG_RW |
_Static_assert(DMPML4I + NDMPML4E <= KMSANSHADPML4I, "direct map overflow");
pmap->pm_pmltop[DMPML4I + i] = 0;
.dmap_low = KV4ADDR(DMPML4I, 0, 0, 0),
.dmap_high = KV4ADDR(DMPML4I + NDMPML4E, 0, 0, 0),
#define KASANPML4I (DMPML4I - NKASANPML4E) /* Below the direct map */
#define KMSANORIGPML4I (DMPML4I - NKMSANORIGPML4E)