diff options
author | alc <alc@FreeBSD.org> | 2005-12-13 19:59:09 +0000 |
---|---|---|
committer | alc <alc@FreeBSD.org> | 2005-12-13 19:59:09 +0000 |
commit | 9ecb89a9e0f77b0027093db08c96970e9739666c (patch) | |
tree | 68d10888edc05689b11684f6253263add4ef7fff /sys/vm | |
parent | 9b3d762efb89570a19cd98865e30117ce8a99d93 (diff) | |
download | FreeBSD-src-9ecb89a9e0f77b0027093db08c96970e9739666c.zip FreeBSD-src-9ecb89a9e0f77b0027093db08c96970e9739666c.tar.gz |
Assert that the page that is given to vm_page_free_toq() does not have any
managed mappings.
Diffstat (limited to 'sys/vm')
-rw-r--r-- | sys/vm/vm_page.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/vm/vm_page.c b/sys/vm/vm_page.c index 9cc8642..b8e3321 100644 --- a/sys/vm/vm_page.c +++ b/sys/vm/vm_page.c @@ -1012,6 +1012,8 @@ vm_page_free_toq(vm_page_t m) struct vpgqueues *pq; mtx_assert(&vm_page_queue_mtx, MA_OWNED); + KASSERT(!pmap_page_is_mapped(m), + ("vm_page_free_toq: freeing mapped page %p", m)); cnt.v_tfree++; if (m->busy || ((m->queue - m->pc) == PQ_FREE)) { |