sys/amd64/amd64/pmap.c

2553

mpte->pindex = pmap_pde_pindex(KERNBASE) + i;

sys/amd64/amd64/pmap.c

4057

return (vm_radix_remove(&pmap->pm_root, pmap_pde_pindex(va)));

sys/amd64/amd64/pmap.c

4746

pdpindex = pmap_pde_pindex(va) >> NPDPEPGSHIFT;

sys/amd64/amd64/pmap.c

4775

ptepindex = pmap_pde_pindex(va);

sys/amd64/amd64/pmap.c

5089

nkpg = pmap_alloc_pt_page(kernel_pmap, pmap_pde_pindex(end),

sys/amd64/amd64/pmap.c

6019

mpte = pmap_alloc_pt_page(pmap, pmap_pde_pindex(va),

sys/amd64/amd64/pmap.c

6199

mpte = vm_radix_lookup(&pmap->pm_root, pmap_pde_pindex(sva));

sys/amd64/amd64/pmap.c

6958

KASSERT(mpte->pindex == pmap_pde_pindex(va),

sys/amd64/amd64/pmap.c

6961

mpte, mpte->pindex, va, pmap_pde_pindex(va)));

sys/amd64/amd64/pmap.c

7201

mpte = pmap_allocpte_alloc(pmap, pmap_pde_pindex(va),

sys/amd64/amd64/pmap.c

7564

uwptpg = pmap_alloc_pt_page(pmap, pmap_pde_pindex(va),

sys/amd64/amd64/pmap.c

7725

ptepindex = pmap_pde_pindex(va);

sys/amd64/amd64/pmap.c

8189

pmap_pde_pindex(addr),

sys/amd64/amd64/pmap.c

9988

mpte->pindex = pmap_pde_pindex(va);