Date: Wed, 1 Jul 2009 23:58:03 +0000 (UTC) From: Kip Macy <kmacy@FreeBSD.org> To: src-committers@freebsd.org, svn-src-user@freebsd.org Subject: svn commit: r195271 - user/kmacy/releng_7_2_fcs/sys/amd64/amd64 Message-ID: <200907012358.n61Nw3Vf027676@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: kmacy Date: Wed Jul 1 23:58:03 2009 New Revision: 195271 URL: http://svn.freebsd.org/changeset/base/195271 Log: assert that page is managed Modified: user/kmacy/releng_7_2_fcs/sys/amd64/amd64/pmap.c Modified: user/kmacy/releng_7_2_fcs/sys/amd64/amd64/pmap.c ============================================================================== --- user/kmacy/releng_7_2_fcs/sys/amd64/amd64/pmap.c Wed Jul 1 23:14:21 2009 (r195270) +++ user/kmacy/releng_7_2_fcs/sys/amd64/amd64/pmap.c Wed Jul 1 23:58:03 2009 (r195271) @@ -2490,10 +2490,14 @@ pmap_remove_pte(pmap_t pmap, pt_entry_t ret = PMAP_REMOVE_LAST; if (oldpte & PG_MANAGED) { m = PHYS_TO_VM_PAGE(oldpte & PG_FRAME); + KASSERT((m->flags & PG_UNMANAGED) == 0, + ("page not managed")); if (vm_page_trylock(m) == 0) { PMAP_UNLOCK(pmap); vm_page_lock(m); PMAP_LOCK(pmap); + KASSERT((m->flags & PG_UNMANAGED) == 0, + ("page not managed")); } if ((oldpte & (PG_M | PG_RW)) == (PG_M | PG_RW)) vm_page_dirty(m);
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200907012358.n61Nw3Vf027676>