Skip a KASSERT which isn't appropriate when not employing page coloring.

Reported by: Michael Moll
This commit is contained in:
marius 2010-08-21 14:28:48 +00:00
parent 1702ed2db3
commit dd1113bf70

View File

@ -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.