direct-io.hg

changeset 6515:6a6c4a422780

Unmap domain page on exit

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
author adsharma@los-vmm.sc.intel.com
date Tue Aug 16 14:27:16 2005 -0800 (2005-08-16)
parents dc93023f4221
children 23979fb12c49
files xen/arch/x86/shadow32.c
line diff
     1.1 --- a/xen/arch/x86/shadow32.c	Tue Aug 16 13:39:55 2005 -0800
     1.2 +++ b/xen/arch/x86/shadow32.c	Tue Aug 16 14:27:16 2005 -0800
     1.3 @@ -1917,8 +1917,10 @@ static int snapshot_entry_matches(
     1.4      snapshot = map_domain_page(smfn);
     1.5  
     1.6      if (__copy_from_user(&gpte, &guest_pt[index],
     1.7 -                         sizeof(gpte)))
     1.8 +                         sizeof(gpte))) {
     1.9 +        unmap_domain_page(snapshot);
    1.10          return 0;
    1.11 +    }
    1.12  
    1.13      // This could probably be smarter, but this is sufficent for
    1.14      // our current needs.