From b65df1c2c6bdb492002f8afab5feea2d83f1ceda Mon Sep 17 00:00:00 2001
From: Hiroki Sato <hrs@FreeBSD.org>
Date: Sat, 18 Aug 2012 12:08:04 +0000
Subject: [PATCH] Fix build when DEBUG is defined.

---
 sys/arm/arm/pmap-v6.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/sys/arm/arm/pmap-v6.c b/sys/arm/arm/pmap-v6.c
index aa7cdf0e74c..2b9647b3382 100644
--- a/sys/arm/arm/pmap-v6.c
+++ b/sys/arm/arm/pmap-v6.c
@@ -174,6 +174,10 @@ __FBSDID("$FreeBSD$");
 #include <machine/cpufunc.h>
 #include <machine/pcb.h>
 
+#ifdef DEBUG
+extern int last_fault_code;
+#endif
+
 #ifdef PMAP_DEBUG
 #define PDEBUG(_lev_,_stat_) \
         if (pmap_debug_level >= (_lev_)) \
@@ -1352,8 +1356,7 @@ pmap_fault_fixup(pmap_t pm, vm_offset_t va, vm_prot_t ftype, int user)
 	 * the TLB.
 	 */
 	if (rv == 0 && pm->pm_l1->l1_domain_use_count == 1) {
-		extern int last_fault_code;
-		printf("fixup: pm %p, va 0x%lx, ftype %d - nothing to do!\n",
+		printf("fixup: pm %p, va 0x%08x, ftype %d - nothing to do!\n",
 		    pm, va, ftype);
 		printf("fixup: l2 %p, l2b %p, ptep %p, pl1pd %p\n",
 		    l2, l2b, ptep, pl1pd);