aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Johnston <markj@FreeBSD.org>2016-08-13 19:49:32 +0000
committerMark Johnston <markj@FreeBSD.org>2016-08-13 19:49:32 +0000
commit842ee21e20f08fb63fbc0a8b4c51aedf32658680 (patch)
tree67f879f8e1699d171c333afb042aa25a984fe2d9
parentfc85a6f0c4912d1d6dd90f5736e2825cb0a9b506 (diff)
downloadsrc-842ee21e20f08fb63fbc0a8b4c51aedf32658680.tar.gz
src-842ee21e20f08fb63fbc0a8b4c51aedf32658680.zip
Strengthen assertions about the busy state of newly-allocated pages.
Reviewed by: alc MFC after: 1 week
Notes
Notes: svn path=/head/; revision=304054
-rw-r--r--sys/vm/vm_page.c5
1 files changed, 2 insertions, 3 deletions
diff --git a/sys/vm/vm_page.c b/sys/vm/vm_page.c
index c37ae13b68c3..b64e911f50df 100644
--- a/sys/vm/vm_page.c
+++ b/sys/vm/vm_page.c
@@ -1712,8 +1712,7 @@ vm_page_alloc(vm_object_t object, vm_pindex_t pindex, int req)
("vm_page_alloc: page %p has unexpected queue %d", m, m->queue));
KASSERT(m->wire_count == 0, ("vm_page_alloc: page %p is wired", m));
KASSERT(m->hold_count == 0, ("vm_page_alloc: page %p is held", m));
- KASSERT(!vm_page_sbusied(m),
- ("vm_page_alloc: page %p is busy", m));
+ KASSERT(!vm_page_busied(m), ("vm_page_alloc: page %p is busy", m));
KASSERT(m->dirty == 0, ("vm_page_alloc: page %p is dirty", m));
KASSERT(pmap_page_get_memattr(m) == VM_MEMATTR_DEFAULT,
("vm_page_alloc: page %p has unexpected memattr %d", m,
@@ -2021,7 +2020,7 @@ vm_page_alloc_init(vm_page_t m)
("vm_page_alloc_init: page %p is wired", m));
KASSERT(m->hold_count == 0,
("vm_page_alloc_init: page %p is held", m));
- KASSERT(!vm_page_sbusied(m),
+ KASSERT(!vm_page_busied(m),
("vm_page_alloc_init: page %p is busy", m));
KASSERT(m->dirty == 0,
("vm_page_alloc_init: page %p is dirty", m));