Hi,

On <[EMAIL PROTECTED]>,
 Isaku Yamahata wrote:
> 
> So not only MMIO hole (1GB), but also VGA io hole (VGA_IO_SIZE)
> should be taken into consideration.

I added VGA_IO_SIZE.
I confirmed that a VTi domain with 4095MB booted up and the rtl8139
NIC worked.

Best regards,
-- 
  KUWAMURA Shin'ya
diff --git a/vl.c b/vl.c
index 120b607..b97435f 100644
--- a/vl.c
+++ b/vl.c
@@ -8670,6 +8670,14 @@ int main(int argc, char **argv)
     }
 
 #endif
+
+#if defined (__ia64__)
+    if (ram_size > VGA_IO_START)
+        ram_size += VGA_IO_SIZE; /* skip VGA I/O hole */
+    if (ram_size > MMIO_START)
+        ram_size += 1 * MEM_G; /* skip 3G-4G MMIO, LEGACY_IO_SPACE etc. */
+#endif
+
     /* init the memory */
     phys_ram_size = machine->ram_require & ~RAMSIZE_FIXED;
 
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@lists.xensource.com
http://lists.xensource.com/xen-ia64-devel

Reply via email to