vmspace_pmap
pmap = vmspace_pmap(td->td_proc->p_vmspace);
pmap = vmspace_pmap(kdb_thread->td_proc->p_vmspace);
if (vmspace_pmap(p->p_vmspace)->pm_ucr3 != PMAP_NO_CR3)
pmap = vmspace_pmap(vm_vmspace(vm));
pmap_wired_count(vmspace_pmap(vm_vmspace(vcpu->vm))));
vm->cookie = vmmops_init(vm, vmspace_pmap(vm_vmspace(vm)));
pmap = vmspace_pmap(vm_vmspace(vm));
vmspace_pmap(vm_vmspace(vm)), gpa))),
rv = pmap_emulate_accessed_dirty(vmspace_pmap(vm_vmspace(vm)),
pmap_get_mapping(vmspace_pmap(vm_vmspace(vm)), gpapte->gpa,
(pmap == vmspace_pmap(curthread->td_proc->p_vmspace)));
KASSERT(pmap == vmspace_pmap(curthread->td_proc->p_vmspace),
pmap = vmspace_pmap(td->td_proc->p_vmspace);
pmap = vmspace_pmap(p->p_vmspace);
pmap_set_pcb_pagedir(vmspace_pmap(p2->p_vmspace), pcb2);
pmap_bti_set(vmspace_pmap(imgp->proc->p_vmspace), sva, eva);
pmap0 = vmspace_pmap(&vmspace0);
pmap = vmspace_pmap(td->td_proc->p_vmspace);
if (pmap_activate_int(new, vmspace_pmap(new->td_proc->p_vmspace))) {
error = pmap_bti_set(vmspace_pmap(td->td_proc->p_vmspace),
pmap = vmspace_pmap(vm_vmspace(vm));
vm->cookie = vmmops_init(vm, vmspace_pmap(vm_vmspace(vm)));
pmap = vmspace_pmap(vm_vmspace(vm));
pmap = vmspace_pmap(vm_vmspace(vcpu->vm));
pmap_remove_pages(vmspace_pmap(vmspace));
pmap = vmspace_pmap(td->td_proc->p_vmspace);
pmap = vmspace_pmap(td->td_proc->p_vmspace);
pcb2->pcb_cr3 = pmap_get_cr3(vmspace_pmap(p2->p_vmspace));
pmap_pinit0(vmspace_pmap(&vmspace0));
vm_map_init(&vmspace0.vm_map, vmspace_pmap(&vmspace0),
pmap_remove(vmspace_pmap(vmspace), vmspace->vm_shp_base,
pmap_remove_pages(vmspace_pmap(vmspace));
pmap_active_cpus(vmspace_pmap(p->p_vmspace), &cs);
pmap_active_cpus(vmspace_pmap(p->p_vmspace), &cs);
*res = pmap_wired_count(vmspace_pmap(vm)) * PAGE_SIZE;
pmap = vmspace_pmap(uio->uio_td->td_proc->p_vmspace);
vmspace_pmap(td->td_proc->p_vmspace), NULL);
pmap = vmspace_pmap(uio->uio_td->td_proc->p_vmspace);
pmap = vmspace_pmap(uio->uio_td->td_proc->p_vmspace);
pmap = vmspace_pmap(td->td_proc->p_vmspace);
pmap = vmspace_pmap(kdb_thread->td_proc->p_vmspace);
pmap = vmspace_pmap(curthread->td_proc->p_vmspace);
pmap_activate_boot(vmspace_pmap(proc0.p_vmspace));
pmap = vmspace_pmap(td->td_proc->p_vmspace);
pmap = vmspace_pmap(kdb_thread->td_proc->p_vmspace);
vm->cookie = vmmops_init(vm, vmspace_pmap(vm_vmspace(vm)));
pmap = vmspace_pmap(vm_vmspace(vm));
pmap = vmspace_pmap(vm_vmspace(vm));
pmap_remove_pages(vmspace_pmap(vmspace));
if (pmap != vmspace_pmap(curthread->td_proc->p_vmspace))
if (pmap == vmspace_pmap(vm))
PMAP_LOCK_INIT(vmspace_pmap(vm));
if (!pinit(vmspace_pmap(vm))) {
_vm_map_init(&vm->vm_map, vmspace_pmap(vm), min, max);
pmap_release(vmspace_pmap(vm));
pmap_remove_pages(vmspace_pmap(vm));
(void *)vmspace_pmap(p->p_vmspace));
return pmap_resident_count(vmspace_pmap(vmspace));
pmap = vmspace_pmap(td->td_proc->p_vmspace);
pmap_activate_boot(vmspace_pmap(proc0.p_vmspace));