ia64: fix domain builder

Windows on ia64 can't boot since cset 17397:61a3e041ea12.
The memory for video RAM must be added as the x86 does.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>

diff --git a/tools/python/xen/xend/image.py b/tools/python/xen/xend/image.py
index 2fd4fe96939f120dc3d5cf6ab0cb506eb10d429c..458775499010bd210847eda22ce888f7a193ce94 100644 (file)
--- a/tools/python/xen/xend/image.py
+++ b/tools/python/xen/xend/image.py
@@ -685,7 +685,9 @@ class IA64_HVM_ImageHandler(HVMImageHandler):
         # ROM size for guest firmware, io page, xenstore page
         # buffer io page, buffer pio page and memmap info page
         extra_pages = 1024 + 5
-        return mem_kb + extra_pages * page_kb
+        mem_kb += extra_pages * page_kb
+        # Add 8 MiB overhead for QEMU's video RAM.
+        return mem_kb + 8192
 
     def getRequiredInitialReservation(self):
         return self.vm.getMemoryTarget()