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:
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


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