-/* $OpenBSD: pmap.c,v 1.76 2014/05/08 22:17:33 miod Exp $ */
+/* $OpenBSD: pmap.c,v 1.77 2014/05/17 12:22:09 miod Exp $ */
/*
* Copyright (c) 2001-2004, 2010, Miodrag Vallat.
pvl = pvl->pv_next;
continue; /* no page mapping */
}
- if (pmap_pte_w(pte)) {
- DPRINTF(CD_RMPG, ("pmap_remove_page(%p): wired mapping not removed\n",
- pg));
- pvl = pvl->pv_next;
- continue;
- }
pmap_remove_pte(pmap, va, pte, pg, TRUE);
/*