sys/amd64/amd64/pmap.c

10656

KASSERT(LMSPML4I <= pml4_idx && pml4_idx < LMSPML4I + lm_ents,

sys/amd64/amd64/pmap.c

10659

(uintmax_t)va, (uintmax_t)pml4_idx, LMSPML4I, lm_ents));

sys/amd64/amd64/pmap.c

10663

(uintmax_t)va, (uintmax_t)pml4_idx, LMSPML4I, lm_ents));

sys/amd64/amd64/pmap.c

2640

if (!la57 && lm_ents > KMSANORIGPML4I - LMSPML4I) {

sys/amd64/amd64/pmap.c

2643

lm_ents, KMSANORIGPML4I - LMSPML4I);

sys/amd64/amd64/pmap.c

2644

lm_ents = KMSANORIGPML4I - LMSPML4I;

sys/amd64/amd64/pmap.c

4269

pm_pml4[LMSPML4I + i] = kernel_pmap->pm_pmltop[LMSPML4I + i];

sys/amd64/amd64/pmap.c

4858

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

sys/amd64/amd64/pmap.c

489

.lm_low = KV4ADDR(LMSPML4I, 0, 0, 0),