Remove debugging printf() -- that is, I assume it was for debugging :-)

This commit is contained in:
marcel 2010-06-24 05:47:00 +00:00
parent a577a63ff8
commit 3bd98efb16

View File

@ -1506,8 +1506,6 @@ static void
mmu_booke_release(mmu_t mmu, pmap_t pmap)
{
printf("mmu_booke_release: s\n");
KASSERT(pmap->pm_stats.resident_count == 0,
("pmap_release: pmap resident count %ld != 0",
pmap->pm_stats.resident_count));