diff options
Diffstat (limited to 'vm/vm_resident.c')
| -rw-r--r-- | vm/vm_resident.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/vm/vm_resident.c b/vm/vm_resident.c index 427c8f5..4e1eed5 100644 --- a/vm/vm_resident.c +++ b/vm/vm_resident.c @@ -489,6 +489,7 @@ void vm_page_insert( { vm_page_bucket_t *bucket; + assert(have_vm_object_lock(object)); VM_PAGE_CHECK(mem); if (mem->tabled) @@ -561,6 +562,7 @@ void vm_page_replace( { vm_page_bucket_t *bucket; + assert(have_vm_object_lock(object)); VM_PAGE_CHECK(mem); if (mem->tabled) @@ -651,6 +653,7 @@ void vm_page_remove( vm_page_bucket_t *bucket; vm_page_t this; + assert(have_vm_object_lock(mem->object)); assert(mem->tabled); VM_PAGE_CHECK(mem); @@ -710,6 +713,8 @@ vm_page_t vm_page_lookup( vm_page_t mem; vm_page_bucket_t *bucket; + assert(have_vm_object_lock(object)); + /* * Search the hash table for this object/offset pair */ @@ -739,6 +744,8 @@ void vm_page_rename( vm_object_t new_object, vm_offset_t new_offset) { + assert(have_vm_object_lock(new_object)); + /* * Changes to mem->object require the page lock because * the pageout daemon uses that lock to get the object. @@ -844,6 +851,8 @@ boolean_t vm_page_convert( { vm_page_t real_m; + assert(have_vm_object_lock(m->object)); + real_m = vm_page_grab(external); if (real_m == VM_PAGE_NULL) return FALSE; @@ -1259,6 +1268,8 @@ vm_page_t vm_page_alloc( { vm_page_t mem; + assert(have_vm_object_lock(object)); + mem = vm_page_grab(!object->internal); if (mem == VM_PAGE_NULL) return VM_PAGE_NULL; @@ -1281,6 +1292,9 @@ vm_page_t vm_page_alloc( void vm_page_free( vm_page_t mem) { + assert(have_vm_object_lock(mem->object)); + assert(have_vm_page_queue_lock()); + if (mem->free) panic("vm_page_free"); @@ -1332,6 +1346,8 @@ void vm_page_free( void vm_page_wire( vm_page_t mem) { + assert(have_vm_object_lock(mem->object)); + assert(have_vm_page_queue_lock()); VM_PAGE_CHECK(mem); if (mem->wire_count == 0) { @@ -1353,6 +1369,8 @@ void vm_page_wire( void vm_page_unwire( vm_page_t mem) { + assert(have_vm_object_lock(mem->object)); + assert(have_vm_page_queue_lock()); VM_PAGE_CHECK(mem); if (--mem->wire_count == 0) { @@ -1376,6 +1394,7 @@ void vm_page_unwire( void vm_page_deactivate( vm_page_t m) { + assert(have_vm_page_queue_lock()); VM_PAGE_CHECK(m); /* @@ -1410,6 +1429,7 @@ void vm_page_deactivate( void vm_page_activate( vm_page_t m) { + assert(have_vm_page_queue_lock()); VM_PAGE_CHECK(m); if (m->inactive) { |