>>> On 26.05.16 at 15:39, <feng...@intel.com> wrote: > --- a/xen/arch/x86/hvm/vmx/vmx.c > +++ b/xen/arch/x86/hvm/vmx/vmx.c > @@ -366,6 +366,7 @@ static void vmx_vcpu_destroy(struct vcpu *v) > vmx_destroy_vmcs(v); > vpmu_destroy(v); > passive_domain_destroy(v); > + vmx_pi_blocking_cleanup(v); > }
Isn't this redundant with the cleanup done when the last device gets removed (via pci_release_devices()) during domain cleanup? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
