KMSANORIGPML4I
p4_p[KMSANORIGPML4I + i] = KMSANORIGPDPphys + ptoa(i);
p4_p[KMSANORIGPML4I + i] |= X86_PG_RW | X86_PG_V | pg_nx;
if (!la57 && lm_ents > KMSANORIGPML4I - LMSPML4I) {
lm_ents, KMSANORIGPML4I - LMSPML4I);
lm_ents = KMSANORIGPML4I - LMSPML4I;
pm_pml4[KMSANORIGPML4I + i] = (KMSANORIGPDPphys + ptoa(i)) |
pmap->pm_pmltop[KMSANORIGPML4I + i] = 0;
.kmsan_origin_low = KV4ADDR(KMSANORIGPML4I, 0, 0, 0),
.kmsan_origin_high = KV4ADDR(KMSANORIGPML4I + NKMSANORIGPML4E,
.kmsan_origin_low = KV4ADDR(KMSANORIGPML4I, 0, 0, 0),
.kmsan_origin_high = KV4ADDR(KMSANORIGPML4I + NKMSANORIGPML4E,