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