>>> On 25.06.18 at 14:59, <rcojoc...@bitdefender.com> wrote: > Quite right, that's exactly what I've been doing: a satisfactory fix > appears to be to simply reverse the order of altp2m_vcpu_update_p2m(v) > and altp2m_vcpu_update_vmfunc_ve(v) in altp2m_vcpu_destroy().
And that's also more logical considering that vmx_vcpu_update_vmfunc_ve() modifies SECONDARY_EXEC_ENABLE_VIRT_EXCEPTIONS which vmx_vcpu_update_eptp() actually looks at to decide whether to write EPTP_INDEX. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
