Fix build when DEBUG is defined.

This commit is contained in:
hrs 2012-08-18 12:08:04 +00:00
parent b728b23154
commit 863f0826c1

View File

@ -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);