if_l4dm::generic Interface Reference
[Generic Dataspace Manager Interface]

Inherited by if_l4dm::mem.


Public Member Functions

long map ([in] unsigned long ds_id,[in] unsigned long offset,[in] unsigned long size,[in] unsigned long rcv_size2,[in] unsigned long rcv_offs,[in] unsigned long flags,[out] fpage *page)
 Map dataspace pages (full version).
long fault ([in] unsigned long ds_id,[in] unsigned long offset,[out] fpage *page)
 Handle dataspace fault.
long close ([in] unsigned long ds_id)
 Close dataspace.
long close_all ([in] l4_threadid_t client,[in] unsigned long flags)
 Close all dataspaces of a client.
long share ([in] unsigned long ds_id,[in] l4_threadid_t client,[in] unsigned long flags)
 Grant access rights to dataspace to other clients.
long revoke ([in] unsigned long ds_id,[in] l4_threadid_t client,[in] unsigned long flags)
 Revoke access rights to dataspace to other clients.
long check_rights ([in] unsigned long ds_id,[in] unsigned long flags)
 Check access rights.
long transfer ([in] unsigned long ds_id,[in] l4_threadid_t new_owner)
 Transfer ownership of a dataspace.
long copy ([in] unsigned long ds_id,[in] unsigned long src_offs,[in] unsigned long dst_offs,[in] unsigned long num,[in] unsigned long flags,[in, string] char *name,[out] l4dm_dataspace_t *copy)
 Create a copy of a dataspace.
long set_name ([in] unsigned long ds_id,[in, string] char *name)
 DEBUG: set dataspace name.
long get_name ([in] unsigned long ds_id,[out, string, prealloc_client] char **name)
 DEBUG: get dataspace name.
long show_ds ([in] unsigned long ds_id)
 DEBUG: show information about dataspace on debug console.
void list ([in] l4_threadid_t owner,[in] unsigned long flags)
 DEBUG: List dataspaces of a client on debug console.


Detailed Description

Generic dataspace manager interface

Definition at line 32 of file dm_generic.idl.


The documentation for this interface was generated from the following file:

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