diff options
author | Jake Burkholder <jake@FreeBSD.org> | 2002-02-23 20:08:06 +0000 |
---|---|---|
committer | Jake Burkholder <jake@FreeBSD.org> | 2002-02-23 20:08:06 +0000 |
commit | d250bf3668535238b456ffe939cdddcadd41af03 (patch) | |
tree | 873c2326157f92137dcfe9c7c1692e5bdad01f25 | |
parent | b07078429edfcb08cd529c16f605ed57cbabd649 (diff) |
Remove debug code.
Notes
Notes:
svn path=/head/; revision=91166
-rw-r--r-- | sys/sparc64/sparc64/pmap.c | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/sys/sparc64/sparc64/pmap.c b/sys/sparc64/sparc64/pmap.c index 2b29d2fb69f3..390965a943b3 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))); |