[src/trunk]: src/sys/arch/xen/x86 Print the PGD address in the debug message.

[jym <jym%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/56b00290773d
branches:  trunk
changeset: 764838:56b00290773d
user:      jym <jym%NetBSD.org@localhost>
date:      Sun May 08 00:18:25 2011 +0000

description:
Print the PGD address in the debug message.

diffstat:

 sys/arch/xen/x86/x86_xpmap.c |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (27 lines):

diff -r dc6c03c830e0 -r 56b00290773d sys/arch/xen/x86/x86_xpmap.c
--- a/sys/arch/xen/x86/x86_xpmap.c      Sun May 08 00:03:35 2011 +0000
+++ b/sys/arch/xen/x86/x86_xpmap.c      Sun May 08 00:18:25 2011 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: x86_xpmap.c,v 1.25 2011/03/29 23:51:32 jym Exp $       */
+/*     $NetBSD: x86_xpmap.c,v 1.26 2011/05/08 00:18:25 jym Exp $       */
 
 /*
  * Copyright (c) 2006 Mathieu Ropert <mro%adviseo.fr@localhost>
@@ -69,7 +69,7 @@
 
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: x86_xpmap.c,v 1.25 2011/03/29 23:51:32 jym Exp $");
+__KERNEL_RCSID(0, "$NetBSD: x86_xpmap.c,v 1.26 2011/05/08 00:18:25 jym Exp $");
 
 #include "opt_xen.h"
 #include "opt_ddb.h"
@@ -790,7 +790,7 @@
        xen_bt_set_readonly(new_pgd);
 #endif
        /* Pin the PGD */
-       __PRINTK(("pin PGD\n"));
+       __PRINTK(("pin PGD: %"PRIxVADDR"\n", new_pgd - KERNBASE));
 #ifdef __x86_64__
        xpq_queue_pin_l4_table(xpmap_ptom_masked(new_pgd - KERNBASE));
 #elif PAE