>>> On 20.06.15 at 05:09, <boris.ostrov...@oracle.com> wrote: > --- a/xen/arch/x86/mm.c > +++ b/xen/arch/x86/mm.c > @@ -2652,7 +2652,7 @@ int vcpu_destroy_pagetables(struct vcpu *v) > if ( rc ) > return rc; > > - if ( is_pv_32on64_vcpu(v) ) > + if ( is_pv_32on64_vcpu(v) && !is_pvh_vcpu(v) )
This looks wrong - is_pv_32on64_vcpu() should imply is_pv_vcpu() and hence !is_pvh_vcpu(). Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel