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-09-14 14:45:06 +0200 |
| commit | b51f047c28142cdfb7b24641006d0afdcf399292 (patch) | |
| tree | 7387a8a62833e78eb232005121b0a7d786c86c6b /vm/vm_map.c | |
| parent | 537188a07d5ee6548555260acdd616034c73c7c4 (diff) | |
codify locking contracts
Conflicts:
vm/vm_page.h
Diffstat (limited to 'vm/vm_map.c')
| -rw-r--r-- | vm/vm_map.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/vm/vm_map.c b/vm/vm_map.c index 9098dfd..5099283 100644 --- a/vm/vm_map.c +++ b/vm/vm_map.c @@ -531,6 +531,8 @@ kern_return_t vm_map_find_entry( vm_offset_t start; vm_offset_t end; + assert(have_vm_map_lock(map)); + /* * Look for the first possible address; * if there's already something at this @@ -601,6 +603,7 @@ kern_return_t vm_map_find_entry( * * the map should be locked. */ + assert(have_vm_map_lock(map)); *address = start; @@ -918,6 +921,7 @@ kern_return_t vm_map_enter( * * the map should be locked. */ + assert(have_vm_map_lock(map)); /* * See whether we can avoid creating a new entry (and object) by |