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

typedef struct l4dm_dataspace l4dm_dataspace_t

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.