Debugging
[Dataspace Manager Client API]

Various functions to show debug information. More...

Functions
L4_CV int	l4dm_ds_set_name (const l4dm_dataspace_t *ds, const char *name)
	Set dataspace name.
L4_CV int	l4dm_ds_get_name (const l4dm_dataspace_t *ds, char *name)
	Get dataspace name.
L4_CV void	l4dm_ds_show (const l4dm_dataspace_t *ds)
	Show information about dataspace on debugging console.
L4_CV int	l4dm_ds_list (l4_threadid_t dsm_id, l4_threadid_t owner, l4_uint32_t flags)
	List dataspaces on debugging console.
L4_CV int	l4dm_ds_list_all (l4_threadid_t dsm_id)
	List all dataspaces on debugging console.

---

Detailed Description

Various functions to show debug information.

---

Function Documentation

L4_CV int l4dm_ds_set_name	(	const l4dm_dataspace_t *	ds,
		const char *	name
	)

Set dataspace name.

Parameters:

	ds	Dataspace id
	name	Dataspace name

Returns:

0 on success, error code otherwise:

• -L4_EINVAL invalid dataspace id
• -L4_EPERM caller is not the owner of the dataspace
• -L4_EIPC IPC error calling dataspace manager

L4_CV int l4dm_ds_get_name	(	const l4dm_dataspace_t *	ds,
		char *	name
	)

Get dataspace name.

Parameters:

ds

Dataspace id

Return values:

name

Dataspace name

Returns:

0 on success, error code otherwise:

• -L4_EINVAL invalid dataspace id
• -L4_EIPC IPC error calling dataspace manager

L4_CV void l4dm_ds_show

(

const l4dm_dataspace_t *

ds

)

Show information about dataspace on debugging console.

Parameters:

ds

Dataspace id

L4_CV int l4dm_ds_list	(	l4_threadid_t	dsm_id,
		l4_threadid_t	owner,
		l4_uint32_t	flags
	)

List dataspaces on debugging console.

Parameters:

	dsm_id	Dataspace manager id, set to L4DM_DEFAULT_DSM to use default dataspace manager provided by the L4 environment
	owner	Dataspace owner, if set to L4_INVALID_ID list all dataspaces
	flags	Flags: L4DM_SAME_TASK list dataspaces owned by task

Returns:

0 on success, error code otherwise:

• -L4_EIPC IPC error calling dataspace manager

L4_CV int l4dm_ds_list_all

(

l4_threadid_t

dsm_id

)

List all dataspaces on debugging console.

Parameters:

dsm_id

Dataspace manager id, set to L4DM_DEFAULT_DSM to use default dataspace manager provided by the L4 environment

Returns:

0 on success, error code otherwise:

• -L4_EIPC IPC error calling dataspace manager