vm_vmspace
pmap = vmspace_pmap(vm_vmspace(vm));
vmspace_resident_count(vm_vmspace(vcpu->vm)));
pmap_wired_count(vmspace_pmap(vm_vmspace(vcpu->vm))));
vm->cookie = vmmops_init(vm, vmspace_pmap(vm_vmspace(vm)));
return (vmm_mmio_alloc(vm_vmspace(vm), gpa, len, hpa));
vmm_mmio_free(vm_vmspace(vm), gpa, len);
pmap = vmspace_pmap(vm_vmspace(vm));
vmspace_pmap(vm_vmspace(vm)), gpa))),
rv = pmap_emulate_accessed_dirty(vmspace_pmap(vm_vmspace(vm)),
map = &vm_vmspace(vm)->vm_map;
pmap_get_mapping(vmspace_pmap(vm_vmspace(vm)), gpapte->gpa,
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));
map = &vm_vmspace(vm)->vm_map;
error = vm_map_remove(&vm_vmspace(vm)->vm_map, mm->gpa,
&vm_vmspace(vm)->vm_map, trunc_page(gpa),
struct vmspace *vm_vmspace(struct vm *vm);
vm->cookie = vmmops_init(vm, vmspace_pmap(vm_vmspace(vm)));
pmap = vmspace_pmap(vm_vmspace(vm));
map = &vm_vmspace(vm)->vm_map;
pmap = vmspace_pmap(vm_vmspace(vm));