KMSANSHADPML4I
p4_p[KMSANSHADPML4I + i] = KMSANSHADPDPphys + ptoa(i);
p4_p[KMSANSHADPML4I + i] |= X86_PG_RW | X86_PG_V | pg_nx;
pm_pml4[KMSANSHADPML4I + i] = (KMSANSHADPDPphys + ptoa(i)) |
_Static_assert(DMPML4I + NDMPML4E <= KMSANSHADPML4I, "direct map overflow");
pmap->pm_pmltop[KMSANSHADPML4I + i] = 0;
.kmsan_shadow_low = KV4ADDR(KMSANSHADPML4I, 0, 0, 0),
.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,
.kmsan_shadow_low = KV4ADDR(KMSANSHADPML4I, 0, 0, 0),
.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,