I agree. I'll have a revised proposal next week. On Fri, Jul 1, 2016 at 5:33 AM, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > > On 01/07/2016 07:24, Paolo Bonzini wrote: >> So perhaps it's the callers of nested_release_vmcs12 that have to ensure >> vcpu_load/vcpu_put are called if necessary around the calls to >> nested_release_vmcs12. Only free_nested should need this. The other >> callers of nested_release_vmcs12 and copy_shadow_to_vmcs12 are vmexit >> handlers and do have the problem. > > ... do not have. > > Paolo -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html