From dd884ba3a21361766e31db8b7de643eede22cbf8 Mon Sep 17 00:00:00 2001
From: jake <jake@FreeBSD.org>
Date: Sat, 23 Feb 2002 20:08:06 +0000
Subject: Remove debug code.

---
 sys/sparc64/sparc64/pmap.c | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

(limited to 'sys/sparc64')

diff --git a/sys/sparc64/sparc64/pmap.c b/sys/sparc64/sparc64/pmap.c
index 2b29d2f..390965a 100644
--- a/sys/sparc64/sparc64/pmap.c
+++ b/sys/sparc64/sparc64/pmap.c
@@ -1108,9 +1108,6 @@ pmap_pinit2(pmap_t pmap)
 void
 pmap_release(pmap_t pm)
 {
-#ifdef INVARIANTS
-	pv_entry_t pv;
-#endif
 	vm_object_t obj;
 	vm_page_t m;
 
@@ -1118,15 +1115,8 @@ pmap_release(pmap_t pm)
 	    pm->pm_tsb);
 	obj = pm->pm_tsb_obj;
 	KASSERT(obj->ref_count == 1, ("pmap_release: tsbobj ref count != 1"));
-#ifdef INVARIANTS
-	if (!TAILQ_EMPTY(&pm->pm_pvlist)) {
-		TAILQ_FOREACH(pv, &pm->pm_pvlist, pv_plist) {
-			CTR3(KTR_PMAP, "pmap_release: m=%p va=%#lx pa=%#lx",
-			    pv->pv_m, pv->pv_va, VM_PAGE_TO_PHYS(pv->pv_m));
-		}
-		panic("pmap_release: leaking pv entries");
-	}
-#endif
+	KASSERT(TAILQ_EMPTY(&pm->pm_pvlist),
+	    ("pmap_release: leaking pv entries"));
 	KASSERT(pmap_resident_count(pm) == 0,
 	    ("pmap_release: resident pages %ld != 0",
 	    pmap_resident_count(pm)));
-- 
cgit v1.1