types.h File Reference

L4 lock data types. More...

#include <l4/env/cdefs.h>
#include <l4/semaphore/semaphore.h>
#include <l4/thread/thread.h>
#include <l4/lock/internal.h>

Go to the source code of this file.

Defines
#define	L4LOCK_LOCKED_INITIALIZER(t)   {(L4SEMAPHORE_LOCKED_INITIALIZER),(t),1}
	Lock initializer (locked), use to initialize locks in nested structures.
#define	L4LOCK_LOCKED(t)   ((l4lock_t) L4LOCK_LOCKED_INITIALIZER(t))
	Lock value (locked), use to initialize plain lock variables.
#define	L4LOCK_UNLOCKED_INITIALIZER   {L4SEMAPHORE_UNLOCKED_INITIALIZER, (L4THREAD_INVALID_ID),0}
	Lock initializer (unlocked), use to initialize locks in nested structures.
#define	L4LOCK_UNLOCKED   ((l4lock_t) L4LOCK_UNLOCKED_INITIALIZER)
	Lock value (unlocked), use to initialize plain lock variables.
Typedefs
typedef struct l4lock	l4lock_t
	Lock type.

---

Detailed Description

L4 lock data types.

Date:

12/30/2000

Author:

Lars Reuther <reuther@os.inf.tu-dresden.de>

L4 lock data types.

Definition in file types.h.