/tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/include/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.


Generated on Wed Apr 11 06:37:12 2012 for L4Env Memory Dataspace Manager Interface by  doxygen 1.5.6