# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Node ID b18c44d69f80eb6e5c6094fd91e164177e644e02
# Parent  498db9021959b066cabafcd3dcbd1ac069f7f02a
fix vmx_build_physmap_table(). avoid map pages to the area
[VGA_IO_START, VGA_IO_START + VGA_IO_SIZE].
PATCHNAME: fix_vmx_build_physmap_table

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 498db9021959 -r b18c44d69f80 xen/arch/ia64/vmx/vmx_init.c
--- a/xen/arch/ia64/vmx/vmx_init.c	Fri May 12 19:59:46 2006 +0900
+++ b/xen/arch/ia64/vmx/vmx_init.c	Fri May 12 19:59:47 2006 +0900
@@ -353,6 +353,9 @@ int vmx_build_physmap_table(struct domai
 	end = VMX_CONFIG_PAGES(d) << PAGE_SHIFT;
 	tmp = end < MMIO_START ? end : MMIO_START;
 	for (i = 0; (i < tmp) && (list_ent != &d->page_list); i += PAGE_SIZE) {
+        if (VGA_IO_START <= i && i < VGA_IO_START + VGA_IO_SIZE)
+            continue;
+
 	    mfn = page_to_mfn(list_entry(
 		list_ent, struct page_info, list));
 	    assign_domain_page(d, i, mfn << PAGE_SHIFT);