[Xen-changelog] [xen-unstable] [XEN] 32on64 fix compat page table shutdown

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Emmanuel Ackaouy <ack@xxxxxxxxxxxxx>
# Date 1170160423 0
# Node ID c440813cc5722bad5a8a258bf9baaa2d63be726b
# Parent  b9febab4c6cbce55156f2f516a7e1e6b0b5b3df9
[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@xxxxxxxxxxxxx>
---
 xen/arch/x86/domain.c |    8 +++++++-
 1 files changed, 7 insertions(+), 1 deletion(-)

diff -r b9febab4c6cb -r c440813cc572 xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c     Tue Jan 30 12:31:20 2007 +0000
+++ b/xen/arch/x86/domain.c     Tue Jan 30 12:33:43 2007 +0000
@@ -1412,7 +1412,13 @@ static void vcpu_destroy_pagetables(stru
                 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;
     }

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog