pi_mutex.h File Reference

Priority Inheritance Mutex object. More...

#include <l4/sys/types.h>
#include <l4/sys/utcb.h>
#include <l4/sys/ipc.h>

Include dependency graph for pi_mutex.h:

Go to the source code of this file.

Enumerations
enum	L4_pi_mutex_ops { L4_PI_MUTEX_LOCK_OP = 0UL , L4_PI_MUTEX_UNLOCK_OP = 1UL }
	Operations on priority inheritance mutex objects. More...

Functions
l4_msgtag_t	l4_pi_mutex_lock (l4_cap_idx_t mutex, l4_timeout_t timeout) L4_NOTHROW
	Lock contended priority inheritance mutex on slow path.
l4_msgtag_t	l4_pi_mutex_unlock (l4_cap_idx_t mutex) L4_NOTHROW
	Unlock contended priority inheritance mutex from fast path or slow path.

Detailed Description

Priority Inheritance Mutex object.

Definition in file pi_mutex.h.