diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-12 01:58:53 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-12 02:11:11 +0100 |
| commit | ea5ef1b6706dae31b6dc7083d341fda6818d4391 (patch) | |
| tree | ac840ef454118f5755ba9ccb1f10e5f04c22ed2c /vm/vm_fault.c | |
| parent | b163e2a6181c805bb2369458203a6af23bf4669e (diff) | |
vm: Add and use vm_object_lock_taken, vm_object_cache_locked, vm_page_locked_queues
to check locking
Diffstat (limited to 'vm/vm_fault.c')
| -rw-r--r-- | vm/vm_fault.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vm/vm_fault.c b/vm/vm_fault.c index ef6b5656..b53592f0 100644 --- a/vm/vm_fault.c +++ b/vm/vm_fault.c @@ -127,6 +127,8 @@ vm_fault_cleanup( vm_object_t object, vm_page_t top_page) { + assert(vm_object_lock_taken(object)); + vm_object_paging_end(object); vm_object_unlock(object); |