Dataspace Types
[Dataspace Manager Client API]

Dataspace id type and functions to check ids. More...

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

Dataspace id type and functions to check ids.


Define Documentation

#define L4DM_INVALID_DATASPACE_INITIALIZER   { (l4_uint32_t)-1, L4_INVALID_ID_INIT }

Invalid dataspace id initializer

Definition at line 42 of file types.h.

#define L4DM_INVALID_DATASPACE   ((l4dm_dataspace_t)L4DM_INVALID_DATASPACE_INITIALIZER)

Invalid dataspace id

Definition at line 49 of file types.h.

Referenced by l4dm_is_invalid_ds().


Typedef Documentation

L4 dataspace id


Function Documentation

L4_INLINE int l4dm_dataspace_equal ( l4dm_dataspace_t  ds1,
l4dm_dataspace_t  ds2 
)

Test dataspace ids.

Parameters:
ds1 First dataspace id
ds2 Second dataspaces id
Returns:
1 if dataspaces ids are equal, 0 otherwise.

Definition at line 93 of file types.h.

References l4dm_dataspace::id, and l4dm_dataspace::manager.

L4_INLINE int l4dm_is_invalid_ds ( l4dm_dataspace_t  ds  ) 

Test dataspace id.

Parameters:
ds Dataspace id
Returns:
!= 0 if ds is invalid dataspace descriptor, 0 if not

Definition at line 103 of file types.h.

References l4dm_dataspace::id, L4DM_INVALID_DATASPACE, and l4dm_dataspace::manager.


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