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_map.h | |
| parent | 03955afa0a3cc6e9dece39ec631ce3744b1b08ba (diff) | |
codify locking contractspmm-2015-08-16
Diffstat (limited to 'vm/vm_map.h')
| -rw-r--r-- | vm/vm_map.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vm/vm_map.h b/vm/vm_map.h index 9b31f90..c9f828a 100644 --- a/vm/vm_map.h +++ b/vm/vm_map.h @@ -358,6 +358,9 @@ MACRO_END lock_set_recursive(&(map)->lock) #define vm_map_lock_clear_recursive(map) \ lock_clear_recursive(&(map)->lock) +#define have_vm_map_lock(map) have_lock(&(map)->lock) +#define have_vm_map_read_lock(map) have_read_lock(&(map)->lock) +#define have_vm_map_write_lock(map) have_write_lock(&(map)->lock) /* * Exported procedures that operate on vm_map_t. |