diff options
author | marius <marius@FreeBSD.org> | 2010-08-21 14:28:48 +0000 |
---|---|---|
committer | marius <marius@FreeBSD.org> | 2010-08-21 14:28:48 +0000 |
commit | dd1113bf706853eead2dd149c947c9971a49da74 (patch) | |
tree | 30569d6d6c76bfa6b781842155d2e1e656898d28 | |
parent | 1702ed2db392af6a922e6215cbfffbd5e727357c (diff) | |
download | FreeBSD-src-dd1113bf706853eead2dd149c947c9971a49da74.zip FreeBSD-src-dd1113bf706853eead2dd149c947c9971a49da74.tar.gz |
Skip a KASSERT which isn't appropriate when not employing page coloring.
Reported by: Michael Moll
-rw-r--r-- | sys/sparc64/sparc64/pmap.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sys/sparc64/sparc64/pmap.c b/sys/sparc64/sparc64/pmap.c index e158bf4..b34a07f 100644 --- a/sys/sparc64/sparc64/pmap.c +++ b/sys/sparc64/sparc64/pmap.c @@ -833,14 +833,15 @@ pmap_cache_remove(vm_page_t m, vm_offset_t va) m->md.colors[DCACHE_COLOR(va)]); KASSERT((m->flags & PG_FICTITIOUS) == 0, ("pmap_cache_remove: fake page")); - KASSERT(m->md.colors[DCACHE_COLOR(va)] > 0, - ("pmap_cache_remove: no mappings %d <= 0", - m->md.colors[DCACHE_COLOR(va)])); PMAP_STATS_INC(pmap_ncache_remove); if (dcache_color_ignore != 0) return; + KASSERT(m->md.colors[DCACHE_COLOR(va)] > 0, + ("pmap_cache_remove: no mappings %d <= 0", + m->md.colors[DCACHE_COLOR(va)])); + /* * Find the color for this virtual address and note the removal of * the mapping. |