129 	struct vmspace	*vmspace;		/* (o) guest's address space */  member
409 	vm->cookie = vmmops_init(vm, vmspace_pmap(vm->vmspace));  in vm_init()
487 	struct vmspace *vmspace;  in vm_create()  local
499 	vmspace = vmmops_vmspace_alloc(0, 1ul << 39);  in vm_create()
500 	if (vmspace == NULL)  in vm_create()
505 	vm->vmspace = vmspace;  in vm_create()
560 		pmap = vmspace_pmap(vm->vmspace);  in vm_cleanup()
584 		vmmops_vmspace_free(vm->vmspace);  in vm_cleanup()
585 		vm->vmspace = NULL;  in vm_cleanup()
1058 struct vmspace *
1061 	return (vm->vmspace);  in vm_vmspace()
1378 	pmap = vmspace_pmap(vcpu->vm->vmspace);  in vm_handle_paging()
1395 	map = &vm->vmspace->vm_map;  in vm_handle_paging()
1469 	pmap = vmspace_pmap(vm->vmspace);  in vm_run()