# HG changeset patch
# User adsharma@los-vmm.sc.intel.com
# Date 1124231236 28800
# Node ID 6a6c4a422780f0aeb357f2fd8286a36afd3876b8
# Parent  dc93023f4221b798ed40a662625dd47544b40d04
Unmap domain page on exit

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>



diff -r dc93023f4221 -r 6a6c4a422780 xen/arch/x86/shadow32.c
--- a/xen/arch/x86/shadow32.c	Tue Aug 16 13:39:55 2005 -0800
+++ b/xen/arch/x86/shadow32.c	Tue Aug 16 14:27:16 2005 -0800
@@ -1917,8 +1917,10 @@ static int snapshot_entry_matches(
     snapshot = map_domain_page(smfn);
 
     if (__copy_from_user(&gpte, &guest_pt[index],
-                         sizeof(gpte)))
+                         sizeof(gpte))) {
+        unmap_domain_page(snapshot);
         return 0;
+    }
 
     // This could probably be smarter, but this is sufficent for
     // our current needs.