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 /ipc/ipc_pset.h | |
| parent | 537188a07d5ee6548555260acdd616034c73c7c4 (diff) | |
codify locking contracts
Conflicts:
vm/vm_page.h
Diffstat (limited to 'ipc/ipc_pset.h')
| -rw-r--r-- | ipc/ipc_pset.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ipc/ipc_pset.h b/ipc/ipc_pset.h index e9936fe..11c99c3 100644 --- a/ipc/ipc_pset.h +++ b/ipc/ipc_pset.h @@ -62,6 +62,7 @@ typedef struct ipc_pset { #define ips_lock_try(pset) io_lock_try(&(pset)->ips_object) #define ips_unlock(pset) io_unlock(&(pset)->ips_object) #define ips_check_unlock(pset) io_check_unlock(&(pset)->ips_object) +#define have_ips_lock(pset) have_io_lock(&(pset)->ips_object) #define ips_reference(pset) io_reference(&(pset)->ips_object) #define ips_release(pset) io_release(&(pset)->ips_object) |