1.1 --- a/tools/ioemu/vl.c	Thu Nov 09 13:25:47 2006 +0000
     1.2 +++ b/tools/ioemu/vl.c	Thu Nov 09 13:28:45 2006 +0000
     1.3 @@ -6390,6 +6390,11 @@ int main(int argc, char **argv)
     1.4              exit(1);
     1.5      }
     1.6  
     1.7 +#if defined (__ia64__)
     1.8 +    if (ram_size > MMIO_START)
     1.9 +        ram_size += 1 * MEM_G; /* skip 3G-4G MMIO, LEGACY_IO_SPACE etc. */
    1.10 +#endif
    1.11 +
    1.12      /* init the memory */
    1.13      phys_ram_size = ram_size + vga_ram_size + bios_size;
    1.14  
    1.15 @@ -6397,11 +6402,6 @@ int main(int argc, char **argv)
    1.16  
    1.17      xc_handle = xc_interface_open();
    1.18  
    1.19 -#if defined (__ia64__)
    1.20 -    if (ram_size > MMIO_START)
    1.21 -        ram_size += 1 * MEM_G; /* skip 3G-4G MMIO, LEGACY_IO_SPACE etc. */
    1.22 -#endif
    1.23 -
    1.24      nr_pages = ram_size/PAGE_SIZE;
    1.25      tmp_nr_pages = nr_pages;
    1.26