[Xen-changelog] Fix VMX domains not cleaning up properly, since some page refncts are

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

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID cedb89d6b707071ba66fefe64b19925da9d68334
# Parent  6fb3b1d9e336e6a298bdae03997741ea53eed0e8
Fix VMX domains not cleaning up properly, since some page refncts are
not zero. One reason for this is that in function shadow_set_l1e(),
before calling function shadow_update_min_max(), one should call
__shadow_get_sl2e() again, since the sl2 entry may be changed.

Signed-off-by: Xin Xiaohui <Xiaohui.xin@xxxxxxxxx>
Signed-off-by: Li Chengyuan <Chengyuan.li@xxxxxxxxx>

diff -r 6fb3b1d9e336 -r cedb89d6b707 xen/arch/x86/shadow.c
--- a/xen/arch/x86/shadow.c     Mon Sep 19 09:00:26 2005
+++ b/xen/arch/x86/shadow.c     Mon Sep 19 09:14:41 2005
@@ -697,6 +697,8 @@
         }
     }
 
+    __shadow_get_l2e(v, va, &sl2e);
+
     if ( shadow_mode_refcounts(d) )
     {
         l1_pgentry_t old_spte;
diff -r 6fb3b1d9e336 -r cedb89d6b707 xen/include/asm-x86/shadow.h
--- a/xen/include/asm-x86/shadow.h      Mon Sep 19 09:00:26 2005
+++ b/xen/include/asm-x86/shadow.h      Mon Sep 19 09:14:41 2005
@@ -1595,6 +1595,8 @@
         }
     }
 
+    __shadow_get_l2e(v, va, &sl2e);
+
     if ( shadow_mode_refcounts(d) )
     {
         l1_pgentry_t old_spte = shadow_linear_pg_table[l1_linear_offset(va)];

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