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-28 15:47:56 +0200 |
| commit | 787a6034170b59d55afe8d0a12cb0904f20cb74d (patch) | |
| tree | d20fcc9b98882c7bb62500185cbfb08006fec26a /ipc/ipc_right.c | |
| parent | 069a8a3decf5981cd420014384ead470eac8561c (diff) | |
codify locking contracts
Conflicts:
vm/vm_page.h
Diffstat (limited to 'ipc/ipc_right.c')
| -rw-r--r-- | ipc/ipc_right.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ipc/ipc_right.c b/ipc/ipc_right.c index 773b3b1..2e73cc3 100644 --- a/ipc/ipc_right.c +++ b/ipc/ipc_right.c @@ -114,6 +114,7 @@ ipc_right_reverse( /* would switch on io_otype to handle multiple types of object */ + assert(have_is_lock(space)); assert(space->is_active); assert(io_otype(object) == IOT_PORT); @@ -311,6 +312,7 @@ ipc_right_dncancel( { ipc_port_t dnrequest; + assert(have_is_write_lock(space)); assert(ip_active(port)); assert(port == (ipc_port_t) entry->ie_object); |