diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-16 02:18:47 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-16 02:19:38 +0200 |
commit | 80ffa7de3147b27c82667a7e2224439f92106f92 (patch) | |
tree | f4af5eae93780a12306c9026cfd381d8d7b33a4b /vm/vm_page.h | |
parent | 03955afa0a3cc6e9dece39ec631ce3744b1b08ba (diff) |
codify locking contractspmm-2015-08-16
Diffstat (limited to 'vm/vm_page.h')
-rw-r--r-- | vm/vm_page.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vm/vm_page.h b/vm/vm_page.h index 81ab3df..3fe6572 100644 --- a/vm/vm_page.h +++ b/vm/vm_page.h @@ -432,6 +432,7 @@ extern void vm_page_unwire(vm_page_t); #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 \ |