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:

• dm_generic.idl