Index: xen/arch/x86/domain_build.c
===================================================================
--- xen.orig/arch/x86/domain_build.c	2005-06-24 16:42:25.000000000 +0200
+++ xen/arch/x86/domain_build.c	2005-06-24 16:45:16.000000000 +0200
@@ -574,6 +574,8 @@ int construct_dom0(struct domain *d,
     {
         if ( (page = alloc_largest(d, nr_pages - d->tot_pages)) == NULL )
             panic("Not enough RAM for DOM0 reservation.\n");
+        printk(" Dom0 alloc.:   pfn %5lx, mfn %5lx, pages %5lx\n",
+               pfn, page_to_pfn(page), d->tot_pages - pfn);
         while ( pfn < d->tot_pages )
         {
             mfn = page_to_pfn(page);