sys/platform/vkernel64/platform/pmap.c

1063

pd = pmap_pde(pmap, va);

sys/platform/vkernel64/platform/pmap.c

114

static pd_entry_t *pmap_pde(pmap_t pmap, vm_offset_t va);

sys/platform/vkernel64/platform/pmap.c

1566

while ((*pmap_pde(kernel_pmap, kernel_vm_end) & VPTE_V) != 0) {

sys/platform/vkernel64/platform/pmap.c

1581

pde = pmap_pde(kernel_pmap, kernel_vm_end);

sys/platform/vkernel64/platform/pmap.c

1629

*pmap_pde(kernel_pmap, kernel_vm_end) = newpdir;

sys/platform/vkernel64/platform/pmap.c

1951

pde = pmap_pde(pmap, sva);

sys/platform/vkernel64/platform/pmap.c

2603

pde = pmap_pde(pmap, addr);

sys/platform/vkernel64/platform/pmap.c

316

pde = pmap_pde(pmap, va);

sys/platform/vkernel64/platform/pmap.c

335

else if (pmap_pde(pmap, va) == NULL)

sys/platform/vkernel64/platform/pmap.c

356

x = pmap_pde(kernel_pmap, va);

sys/platform/vkernel64/platform/pmap.c

662

pdep = pmap_pde(pmap, va);