$NetBSD: patch-ba,v 1.4 2008/02/15 20:34:35 bouyer Exp $

--- xen/arch/x86/domain_build.c.orig	2008-04-25 15:03:12.000000000 +0200
+++ xen/arch/x86/domain_build.c	2008-04-26 18:23:30.000000000 +0200
@@ -308,6 +308,9 @@
            parms.pae       ? ", PAE"  : "",
            elf_msb(&elf)   ? "msb"    : "lsb",
            elf.pstart, elf.pend);
+    if ( elf.bsd_symtab_pstart )
+        printk(" Dom0 symbol map 0x%" PRIx64 " -> 0x%" PRIx64 "\n",
+               elf.bsd_symtab_pstart, elf.bsd_symtab_pend);
 
     if ( !compatible )
     {
