Module Name: src
Committed By: jym
Date: Sun May 8 00:18:26 UTC 2011
Modified Files:
src/sys/arch/xen/x86: x86_xpmap.c
Log Message:
Print the PGD address in the debug message.
To generate a diff of this commit:
cvs rdiff -u -r1.25 -r1.26 src/sys/arch/xen/x86/x86_xpmap.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/xen/x86/x86_xpmap.c
diff -u src/sys/arch/xen/x86/x86_xpmap.c:1.25 src/sys/arch/xen/x86/x86_xpmap.c:1.26
--- src/sys/arch/xen/x86/x86_xpmap.c:1.25 Tue Mar 29 23:51:32 2011
+++ src/sys/arch/xen/x86/x86_xpmap.c Sun May 8 00:18:25 2011
@@ -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 <[email protected]>
@@ -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
