Date: Sat, 21 Aug 2010 14:28:48 +0000 (UTC) From: Marius Strobl <marius@FreeBSD.org> To: src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org Subject: svn commit: r211568 - head/sys/sparc64/sparc64 Message-ID: <201008211428.o7LESmab072113@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: marius Date: Sat Aug 21 14:28:48 2010 New Revision: 211568 URL: http://svn.freebsd.org/changeset/base/211568 Log: Skip a KASSERT which isn't appropriate when not employing page coloring. Reported by: Michael Moll Modified: head/sys/sparc64/sparc64/pmap.c Modified: head/sys/sparc64/sparc64/pmap.c ============================================================================== --- head/sys/sparc64/sparc64/pmap.c Sat Aug 21 14:14:24 2010 (r211567) +++ head/sys/sparc64/sparc64/pmap.c Sat Aug 21 14:28:48 2010 (r211568) @@ -833,14 +833,15 @@ pmap_cache_remove(vm_page_t m, vm_offset 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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201008211428.o7LESmab072113>