Remove debug code.

This commit is contained in:
Jake Burkholder 2002-02-23 20:08:06 +00:00
parent b07078429e
commit d250bf3668
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=91166

View File

@ -1108,9 +1108,6 @@ pmap_pinit2(pmap_t pmap)
void void
pmap_release(pmap_t pm) pmap_release(pmap_t pm)
{ {
#ifdef INVARIANTS
pv_entry_t pv;
#endif
vm_object_t obj; vm_object_t obj;
vm_page_t m; vm_page_t m;
@ -1118,15 +1115,8 @@ pmap_release(pmap_t pm)
pm->pm_tsb); pm->pm_tsb);
obj = pm->pm_tsb_obj; obj = pm->pm_tsb_obj;
KASSERT(obj->ref_count == 1, ("pmap_release: tsbobj ref count != 1")); KASSERT(obj->ref_count == 1, ("pmap_release: tsbobj ref count != 1"));
#ifdef INVARIANTS KASSERT(TAILQ_EMPTY(&pm->pm_pvlist),
if (!TAILQ_EMPTY(&pm->pm_pvlist)) { ("pmap_release: leaking pv entries"));
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(pmap_resident_count(pm) == 0, KASSERT(pmap_resident_count(pm) == 0,
("pmap_release: resident pages %ld != 0", ("pmap_release: resident pages %ld != 0",
pmap_resident_count(pm))); pmap_resident_count(pm)));