vm_get_vmspace
svm_sc->nptp = vmspace_table_root(vm_get_vmspace(vm));
vmx->eptp = vmspace_table_root(vm_get_vmspace(vm));
vms = vm_get_vmspace(vmx->vm);
struct vmspace *vm_get_vmspace(struct vm *vm);
lease->vml_vmclient = vmspace_client_alloc(vm_get_vmspace(sc->vmm_vm));
svma.vmc = vmspace_client_alloc(vm_get_vmspace(vm));