sys/amd64/amd64/pmap.c

2009

p4_p[KMSANSHADPML4I + i] = KMSANSHADPDPphys + ptoa(i);

sys/amd64/amd64/pmap.c

2010

p4_p[KMSANSHADPML4I + i] |= X86_PG_RW | X86_PG_V | pg_nx;

sys/amd64/amd64/pmap.c

4250

pm_pml4[KMSANSHADPML4I + i] = (KMSANSHADPDPphys + ptoa(i)) |

sys/amd64/amd64/pmap.c

471

_Static_assert(DMPML4I + NDMPML4E <= KMSANSHADPML4I, "direct map overflow");

sys/amd64/amd64/pmap.c

4850

pmap->pm_pmltop[KMSANSHADPML4I + i] = 0;

sys/amd64/amd64/pmap.c

497

.kmsan_shadow_low = KV4ADDR(KMSANSHADPML4I, 0, 0, 0),

sys/amd64/amd64/pmap.c

498

.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,

sys/amd64/amd64/pmap.c

519

.kmsan_shadow_low = KV4ADDR(KMSANSHADPML4I, 0, 0, 0),

sys/amd64/amd64/pmap.c

520

.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,