types.h File Reference

Generic dataspace manager interface, type definitions. More...

Go to the source code of this file.

Data Structures
struct	l4dm_dataspace
Defines
#define	L4DM_INVALID_DATASPACE_INITIALIZER   { (l4_uint32_t)-1, L4_INVALID_ID_INIT }
#define	L4DM_INVALID_DATASPACE   ((l4dm_dataspace_t)L4DM_INVALID_DATASPACE_INITIALIZER)
Typedefs
typedef struct l4dm_dataspace	l4dm_dataspace_t
Functions
L4_INLINE int	l4dm_dataspace_equal (l4dm_dataspace_t ds1, l4dm_dataspace_t ds2)
	Test dataspace ids.
L4_INLINE int	l4dm_is_invalid_ds (l4dm_dataspace_t ds)
	Test dataspace id.

---

Detailed Description

Generic dataspace manager interface, type definitions.

Date:

11/12/2002

Author:

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

Definition in file types.h.