diff options
| author | jake <jake@FreeBSD.org> | 2002-02-23 20:08:06 +0000 |
|---|---|---|
| committer | jake <jake@FreeBSD.org> | 2002-02-23 20:08:06 +0000 |
| commit | dd884ba3a21361766e31db8b7de643eede22cbf8 (patch) | |
| tree | 873c2326157f92137dcfe9c7c1692e5bdad01f25 /sys/sparc64 | |
| parent | 2b394c872f7cfd063821fd0f9bd8f1e06850a996 (diff) | |
| download | FreeBSD-src-dd884ba3a21361766e31db8b7de643eede22cbf8.zip FreeBSD-src-dd884ba3a21361766e31db8b7de643eede22cbf8.tar.gz | |
Remove debug code.
Diffstat (limited to 'sys/sparc64')
| -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 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))); |
