diff options
| author | hrs <hrs@FreeBSD.org> | 2012-08-18 12:08:04 +0000 |
|---|---|---|
| committer | hrs <hrs@FreeBSD.org> | 2012-08-18 12:08:04 +0000 |
| commit | 863f0826c1ad387d943ea69e8d1d47a6abbc9b8b (patch) | |
| tree | e2efedaf69f90af32b94c6eaf952e08a588daeba | |
| parent | b728b23154c2690c2d39f68cc9ffc3b61c207977 (diff) | |
| download | FreeBSD-src-863f0826c1ad387d943ea69e8d1d47a6abbc9b8b.zip FreeBSD-src-863f0826c1ad387d943ea69e8d1d47a6abbc9b8b.tar.gz | |
Fix build when DEBUG is defined.
| -rw-r--r-- | sys/arm/arm/pmap-v6.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sys/arm/arm/pmap-v6.c b/sys/arm/arm/pmap-v6.c index aa7cdf0..2b9647b 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); |
