Re: [Xen-devel] [PATCH 8/9] x86/pvh: Don't try to get l4 table for PVH guests in vcpu_destroy_pagetables()

2015-06-24 Thread Jan Beulich
>>> On 24.06.15 at 05:05, wrote: > On 06/23/2015 09:38 AM, Jan Beulich wrote: > On 20.06.15 at 05:09, 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; >>> >>> -

Re: [Xen-devel] [PATCH 8/9] x86/pvh: Don't try to get l4 table for PVH guests in vcpu_destroy_pagetables()

2015-06-23 Thread Boris Ostrovsky
On 06/23/2015 09:38 AM, Jan Beulich wrote: On 20.06.15 at 05:09, 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) && !

Re: [Xen-devel] [PATCH 8/9] x86/pvh: Don't try to get l4 table for PVH guests in vcpu_destroy_pagetables()

2015-06-23 Thread Jan Beulich
>>> On 20.06.15 at 05:09, 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 w

[Xen-devel] [PATCH 8/9] x86/pvh: Don't try to get l4 table for PVH guests in vcpu_destroy_pagetables()

2015-06-19 Thread Boris Ostrovsky
.. since it doesn't exist for PVH. Signed-off-by: Boris Ostrovsky CC: Keir Fraser CC: Jan Beulich CC: Andrew Cooper --- xen/arch/x86/mm.c |2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c index 9e08c9b..eb369bd 100644 --- a/xen/ar