diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index 372d20f787fa..e45f2561e137 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -104,7 +104,6 @@ __FBSDID("$FreeBSD$"); */ #include "opt_msgbuf.h" -#include "opt_kstack_pages.h" #include #include @@ -2557,12 +2556,6 @@ pmap_is_modified(vm_page_t m) */ if (!pmap_track_modified(pv->pv_va)) continue; -#if defined(PMAP_DIAGNOSTIC) - if (!pv->pv_pmap) { - printf("Null pmap (tb) at va: 0x%lx\n", pv->pv_va); - continue; - } -#endif PMAP_LOCK(pv->pv_pmap); pte = pmap_pte(pv->pv_pmap, pv->pv_va); rv = (*pte & PG_M) != 0; diff --git a/sys/i386/i386/pmap.c b/sys/i386/i386/pmap.c index 263b44dd0d7d..e5ad5fa312b0 100644 --- a/sys/i386/i386/pmap.c +++ b/sys/i386/i386/pmap.c @@ -104,7 +104,6 @@ __FBSDID("$FreeBSD$"); #include "opt_cpu.h" #include "opt_pmap.h" #include "opt_msgbuf.h" -#include "opt_kstack_pages.h" #include #include @@ -2633,12 +2632,6 @@ pmap_is_modified(vm_page_t m) */ if (!pmap_track_modified(pv->pv_va)) continue; -#if defined(PMAP_DIAGNOSTIC) - if (!pv->pv_pmap) { - printf("Null pmap (tb) at va: 0x%x\n", pv->pv_va); - continue; - } -#endif PMAP_LOCK(pv->pv_pmap); pte = pmap_pte_quick(pv->pv_pmap, pv->pv_va); rv = (*pte & PG_M) != 0;