vm_vie_ctx
vie = vm_vie_ctx(svm_sc->vm, vcpu);
vie = vm_vie_ctx(svm_sc->vm, vcpu);
vie = vm_vie_ctx(svm_sc->vm, vcpu);
vie = vm_vie_ctx(vmx->vm, vcpuid);
vie = vm_vie_ctx(vmx->vm, vcpu);
vie = vm_vie_ctx(vmx->vm, vcpu);
struct vie *vm_vie_ctx(struct vm *vm, int vcpuid);