summaryrefslogtreecommitdiff
path: root/vm/vm_page.h
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-09-14 14:45:06 +0200
commitb51f047c28142cdfb7b24641006d0afdcf399292 (patch)
tree7387a8a62833e78eb232005121b0a7d786c86c6b /vm/vm_page.h
parent537188a07d5ee6548555260acdd616034c73c7c4 (diff)
codify locking contracts
Conflicts: vm/vm_page.h
Diffstat (limited to 'vm/vm_page.h')
-rw-r--r--vm/vm_page.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/vm/vm_page.h b/vm/vm_page.h
index 90599a1..dd571e2 100644
--- a/vm/vm_page.h
+++ b/vm/vm_page.h
@@ -293,6 +293,7 @@ extern unsigned int vm_page_info(
#define vm_page_lock_queues() lock_write(&vm_page_queue_lock)
#define vm_page_unlock_queues() lock_write_done(&vm_page_queue_lock)
+#define have_vm_page_queue_lock() have_write_lock(&vm_page_queue_lock)
#define VM_PAGE_QUEUES_REMOVE(mem) \
MACRO_BEGIN \