1.1 --- a/xen/arch/ia64/xen/mm.c	Thu Oct 05 12:25:53 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/mm.c	Sun Oct 08 18:16:34 2006 -0600
     1.3 @@ -826,6 +826,20 @@ int
     1.4          smp_mb();
     1.5          return 0;
     1.6      }
     1.7 +
     1.8 +    // dom0 tries to map real machine's I/O region, but failed.
     1.9 +    // It is very likely that dom0 doesn't boot correctly because
    1.10 +    // it can't access I/O. So complain here.
    1.11 +    if ((flags & ASSIGN_nocache) &&
    1.12 +        (pte_pfn(ret_pte) != (physaddr >> PAGE_SHIFT) ||
    1.13 +         !(pte_val(ret_pte) & _PAGE_MA_UC)))
    1.14 +        printk("%s:%d WARNING can't assign page domain 0x%p id %d\n"
    1.15 +               "\talready assigned pte_val 0x%016lx\n"
    1.16 +               "\tmpaddr 0x%016lx physaddr 0x%016lx flags 0x%lx\n",
    1.17 +               __func__, __LINE__,
    1.18 +               d, d->domain_id, pte_val(ret_pte),
    1.19 +               mpaddr, physaddr, flags);
    1.20 +
    1.21      return -EAGAIN;
    1.22  }
    1.23