From: Emmanuel Ackaouy <ack@xensource.com>
Date: Tue, 30 Jan 2007 12:33:43 +0000 (+0000)
Subject: [XEN] 32on64 fix compat page table shutdown
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~15368^2~33
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c7cdf6739ff76ed9194f697cc4b888b3a9b3fa8b;p=xen.git

[XEN] 32on64 fix compat page table shutdown
When releasing the guest page table, do not clobber the xen private
L4 page pointer which is managed by setup/release_compat_l4.

Signed-off-by: Emmanuel Ackaouy <ack@xensource.com>
---

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index a99871c72a..653ceafb0b 100644
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -1412,7 +1412,13 @@ static void vcpu_destroy_pagetables(struct vcpu *v)
                 put_page_and_type(mfn_to_page(pfn));
         }
 
-        v->arch.guest_table = pagetable_null();
+        if ( is_hvm_vcpu(v) )
+            v->arch.guest_table = pagetable_null();
+        else
+            l4e_write(
+                (l4_pgentry_t *) __va(pagetable_get_paddr(v->arch.guest_table)),
+                l4e_empty());
+
         v->arch.cr3 = 0;
         return;
     }