On 23/06/2018 01:35, Liran Alon wrote: > @@ -12392,6 +12455,17 @@ static void nested_vmx_vmexit(struct kvm_vcpu *vcpu, u32 exit_reason, > prepare_vmcs12(vcpu, vmcs12, exit_reason, exit_intr_info, > exit_qualification); > > + /* > + * Must happen outside of sync_vmcs12() as it will > + * also be used to capture vmcs12 cache as part of > + * capturing nVMX state for snapshot (migration). > + * > + * Otherwise, this flush will dirty guest memory at a > + * point it is already assumed by user-space to be > + * immutable. > + */ > + nested_flush_cached_shadow_vmcs12(vcpu, vmcs12); > + > if (nested_vmx_store_msr(vcpu, vmcs12->vm_exit_msr_store_addr, > vmcs12->vm_exit_msr_store_count)) > nested_vmx_abort(vcpu, VMX_ABORT_SAVE_GUEST_MSR_FAIL); > So I assume this would this be another page at the end of the nested state. Do you already have a patch for that? Thanks, Paolo