ia64/xen-unstable

changeset 8099:66e16c4685f5

Remove bogus extra unmap_domain_page() call in
free_monitor_pagetable().

Signed-off-by: Xin Li <xin.b.li@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Mon Nov 28 16:17:03 2005 +0100 (2005-11-28)
parents b3f8d3158a1c
children 5ea875b72e0a
files tools/check/check_hotplug xen/arch/x86/shadow32.c xen/arch/x86/shadow_public.c
line diff
     2.1 --- a/xen/arch/x86/shadow32.c	Mon Nov 28 15:30:48 2005 +0100
     2.2 +++ b/xen/arch/x86/shadow32.c	Mon Nov 28 16:17:03 2005 +0100
     2.3 @@ -796,8 +796,6 @@ void free_monitor_pagetable(struct vcpu 
     2.4          put_shadow_ref(mfn);
     2.5      }
     2.6  
     2.7 -    unmap_domain_page(mpl2e);
     2.8 -
     2.9      /*
    2.10       * Then free monitor_table.
    2.11       */
     3.1 --- a/xen/arch/x86/shadow_public.c	Mon Nov 28 15:30:48 2005 +0100
     3.2 +++ b/xen/arch/x86/shadow_public.c	Mon Nov 28 16:17:03 2005 +0100
     3.3 @@ -390,8 +390,6 @@ void free_monitor_pagetable(struct vcpu 
     3.4          put_shadow_ref(mfn);
     3.5      }
     3.6  
     3.7 -    unmap_domain_page(mpl2e);
     3.8 -
     3.9      /*
    3.10       * Then free monitor_table.
    3.11       */