summaryrefslogtreecommitdiff
path: root/vm/vm_fault.c
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-16 02:18:47 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-28 15:47:56 +0200
commit787a6034170b59d55afe8d0a12cb0904f20cb74d (patch)
treed20fcc9b98882c7bb62500185cbfb08006fec26a /vm/vm_fault.c
parent069a8a3decf5981cd420014384ead470eac8561c (diff)
codify locking contracts
Conflicts: vm/vm_page.h
Diffstat (limited to 'vm/vm_fault.c')
-rw-r--r--vm/vm_fault.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/vm/vm_fault.c b/vm/vm_fault.c
index 101ebce..40d1cbc 100644
--- a/vm/vm_fault.c
+++ b/vm/vm_fault.c
@@ -127,6 +127,7 @@ vm_fault_cleanup(
vm_object_t object,
vm_page_t top_page)
{
+ assert(have_vm_object_lock(object));
vm_object_paging_end(object);
vm_object_unlock(object);
@@ -254,6 +255,8 @@ vm_fault_return_t vm_fault_page(
goto after_thread_block;
}
+ assert(have_vm_object_lock(first_object));
+
vm_stat_sample(SAMPLED_PC_VM_FAULTS_ANY);
vm_stat.faults++; /* needs lock XXX */
current_task()->faults++;