On 21/11/2017 18:22, Mark Kanda wrote: > - nested_free_all_saved_vmcss(vmx); > + free_loaded_vmcs(&vmx->nested.vmcs02); Please add to free_loaded_vmcs a WARN that the passed vmcs is not vmx->loaded_vmcs. Paolo
On 21/11/2017 18:22, Mark Kanda wrote: > - nested_free_all_saved_vmcss(vmx); > + free_loaded_vmcs(&vmx->nested.vmcs02); Please add to free_loaded_vmcs a WARN that the passed vmcs is not vmx->loaded_vmcs. Paolo