diff options
Diffstat (limited to 'sys/arch/i386')
| -rw-r--r-- | sys/arch/i386/i386/pmap.c | 3 | ||||
| -rw-r--r-- | sys/arch/i386/i386/pmap.old.c | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/sys/arch/i386/i386/pmap.c b/sys/arch/i386/i386/pmap.c index 0acb9694f5d..f1baaeeec27 100644 --- a/sys/arch/i386/i386/pmap.c +++ b/sys/arch/i386/i386/pmap.c @@ -1375,7 +1375,8 @@ pmap_collect(pmap) int s; #ifdef DEBUG - printf("pmap_collect(%x) ", pmap); + if (pmapdebug & PDB_FOLLOW) + printf("pmap_collect(%x) ", pmap); #endif if (pmap != pmap_kernel()) diff --git a/sys/arch/i386/i386/pmap.old.c b/sys/arch/i386/i386/pmap.old.c index 0acb9694f5d..f1baaeeec27 100644 --- a/sys/arch/i386/i386/pmap.old.c +++ b/sys/arch/i386/i386/pmap.old.c @@ -1375,7 +1375,8 @@ pmap_collect(pmap) int s; #ifdef DEBUG - printf("pmap_collect(%x) ", pmap); + if (pmapdebug & PDB_FOLLOW) + printf("pmap_collect(%x) ", pmap); #endif if (pmap != pmap_kernel()) |