ia64/xen-unstable

changeset 9859:adb151aaf3f8

[IA64] Make VTI domain boot

Signed-off-by: Kevin Tian <kevin.tian@intel.com>
Signed-off-by: Anthony Xu <anthony.tian@intel.com>
author awilliam@xenbuild.aw
date Wed Apr 26 20:55:42 2006 -0600 (2006-04-26)
parents b3cc9b6e470e
children 3ab5ab4d6d75 3d884434ec97
files xen/arch/ia64/xen/domain.c
line diff
     1.1 --- a/xen/arch/ia64/xen/domain.c	Wed Apr 26 13:17:37 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/domain.c	Wed Apr 26 20:55:42 2006 -0600
     1.3 @@ -679,7 +679,7 @@ void assign_domain_page(struct domain *d
     1.4  
     1.5  	//XXX CONFIG_XEN_IA64_DOM0_VP
     1.6  	//    TODO racy
     1.7 -	if ((mpaddr & GPFN_IO_MASK) == GPFN_MEM)
     1.8 +	if ((physaddr & GPFN_IO_MASK) == GPFN_MEM)
     1.9  		set_gpfn_from_mfn(physaddr >> PAGE_SHIFT, mpaddr >> PAGE_SHIFT);
    1.10  	}
    1.11  	else printk("assign_domain_page: mpaddr %lx already mapped!\n",mpaddr);