ia64/xen-unstable

changeset 7051:46f92c4fde1d

Fix debug build of Xen.
author kaf24@firebug.cl.cam.ac.uk
date Fri Sep 23 17:47:48 2005 +0100 (2005-09-23)
parents 9f50bd7a478f
children 7b97bc1d1c1d
files xen/arch/x86/vmx_vmcs.c
line diff
     1.1 --- a/xen/arch/x86/vmx_vmcs.c	Fri Sep 23 17:17:22 2005 +0100
     1.2 +++ b/xen/arch/x86/vmx_vmcs.c	Fri Sep 23 17:47:48 2005 +0100
     1.3 @@ -144,10 +144,6 @@ static void vmx_setup_platform(struct vc
     1.4      e820_map_nr = *(p + E820_MAP_NR_OFFSET);
     1.5      e820entry = (struct e820entry *)(p + E820_MAP_OFFSET);
     1.6  
     1.7 -#ifndef NDEBUG
     1.8 -    print_e820_memory_map(e820entry, n);
     1.9 -#endif
    1.10 -
    1.11      for ( i = 0; i < e820_map_nr; i++ )
    1.12      {
    1.13          if (e820entry[i].type == E820_SHARED_PAGE)