[Xen-changelog] Put_page on vmx_set_cr0 for multiple protected/real mode switch.

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

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID 9776d03bf1083a92170e500a424eba865b5fcea4
# Parent  f8e7af29daa1d6fd6cb4a5f7a093b229f5607c94
Put_page on vmx_set_cr0 for multiple protected/real mode switch.

Signed-off-by: Yunhong Jiang <yunhong.jiang@xxxxxxxxx>
Signed-off-by: Chengyuan Li <chengyuan.li@xxxxxxxxx>

diff -r f8e7af29daa1 -r 9776d03bf108 xen/arch/x86/vmx.c
--- a/xen/arch/x86/vmx.c        Tue Sep 20 09:43:46 2005
+++ b/xen/arch/x86/vmx.c        Tue Sep 20 13:07:10 2005
@@ -1099,6 +1099,11 @@
         VMX_DBG_LOG(DBG_LEVEL_VMMU, "Update CR3 value = %lx, mfn = %lx", 
                     d->arch.arch_vmx.cpu_cr3, mfn);
     }
+
+    if(!((value & X86_CR0_PE) && (value & X86_CR0_PG)) && paging_enabled)
+        if(d->arch.arch_vmx.cpu_cr3)
+            put_page(pfn_to_page(get_mfn_from_pfn(
+                      d->arch.arch_vmx.cpu_cr3 >> PAGE_SHIFT)));
 
     /*
      * VMX does not implement real-mode virtualization. We emulate

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