From 787a6034170b59d55afe8d0a12cb0904f20cb74d Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Sun, 16 Aug 2015 02:18:47 +0200 Subject: codify locking contracts Conflicts: vm/vm_page.h --- ipc/ipc_pset.h | 1 + 1 file changed, 1 insertion(+) (limited to 'ipc/ipc_pset.h') 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) -- cgit v1.2.3