[Xen-changelog] [IA64] Make VTI domain boot

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User awilliam@xxxxxxxxxxx
# Node ID adb151aaf3f800e9a34b19aa94a93513a0a59e9f
# Parent  b3cc9b6e470e8b8033450c6744801ae889f958a3
[IA64] Make VTI domain boot

Signed-off-by: Kevin Tian <kevin.tian@xxxxxxxxx>
Signed-off-by: Anthony Xu <anthony.tian@xxxxxxxxx>

diff -r b3cc9b6e470e -r adb151aaf3f8 xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c        Wed Apr 26 13:17:37 2006 -0600
+++ b/xen/arch/ia64/xen/domain.c        Wed Apr 26 20:55:42 2006 -0600
@@ -679,7 +679,7 @@ void assign_domain_page(struct domain *d
 
        //XXX CONFIG_XEN_IA64_DOM0_VP
        //    TODO racy
-       if ((mpaddr & GPFN_IO_MASK) == GPFN_MEM)
+       if ((physaddr & GPFN_IO_MASK) == GPFN_MEM)
                set_gpfn_from_mfn(physaddr >> PAGE_SHIFT, mpaddr >> PAGE_SHIFT);
        }
        else printk("assign_domain_page: mpaddr %lx already mapped!\n",mpaddr);

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog