vmspace
struct vmspace *vms;
struct vmspace *vm_get_vmspace(struct vm *vm);
struct vmspace;
typedef struct vmspace vmspace_t;
error = vmspace_unmap(vm->vmspace, mm->gpa, mm->len);
vmc = vmspace_client_alloc(vm->vmspace);
if (!vmspace_get_tracking(vm->vmspace)) {
vmspace_bits_operate(vm->vmspace, gpa, len,
vmspace_bits_operate(vm->vmspace, gpa, len, oper, bitmap);
*rvalp = vmspace_get_tracking(vm->vmspace) ? 1 : 0;
return (vmspace_set_tracking(vm->vmspace, true));
return (vmspace_set_tracking(vm->vmspace, false));
struct vmspace *vmspace; /* (o) guest's address space */
struct vmspace *
return (vm->vmspace);
PAGE_SIZE * vmspace_resident_count(vm->vmspace));
struct vmspace *vmspace;
vmspace = vmspace_alloc(VM_MAXUSER_ADDRESS);
if (vmspace == NULL) {
if (vmspace_set_tracking(vmspace, true) != 0) {
vmspace_destroy(vmspace);
vm->vmspace = vmspace;
vm->vcpu[i].vmclient = vmspace_client_alloc(vmspace);
vmspace_destroy(vm->vmspace);
vm->vmspace = NULL;
if ((obj = vmm_mmio_alloc(vm->vmspace, gpa, len, hpa)) == NULL)
return (vmspace_unmap(vm->vmspace, gpa, len));
int error = vmspace_map(vm->vmspace, seg->object, off, gpa, len, prot);
error = vmspace_populate(vm->vmspace, gpa, len);
VERIFY0(vmspace_unmap(vm->vmspace, gpa, len));
vmm_mmio_alloc(vmspace_t *vmspace, uintptr_t gpa, size_t len, uintptr_t hpa)
error = vmspace_map(vmspace, obj, 0, gpa, len,