diff options
author | marcel <marcel@FreeBSD.org> | 2010-06-24 05:47:00 +0000 |
---|---|---|
committer | marcel <marcel@FreeBSD.org> | 2010-06-24 05:47:00 +0000 |
commit | 3bd98efb16fc607fc30a1757d1ff456bc9852c91 (patch) | |
tree | 8a4a7dd4fc4e05f47b3be88fa0641990aa4e28ad /sys/powerpc | |
parent | a577a63ff85fb1774269b85e90aa09f313a6e896 (diff) | |
download | FreeBSD-src-3bd98efb16fc607fc30a1757d1ff456bc9852c91.zip FreeBSD-src-3bd98efb16fc607fc30a1757d1ff456bc9852c91.tar.gz |
Remove debugging printf() -- that is, I assume it was for debugging :-)
Diffstat (limited to 'sys/powerpc')
-rw-r--r-- | sys/powerpc/booke/pmap.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sys/powerpc/booke/pmap.c b/sys/powerpc/booke/pmap.c index 02ce9aa..11a67af 100644 --- a/sys/powerpc/booke/pmap.c +++ b/sys/powerpc/booke/pmap.c @@ -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)); |