Inherited by if_l4dm::memphys.
Public Member Functions | |
| long | open ([in] unsigned long size,[in] unsigned long align,[in] unsigned long flags,[in, string] char *name,[out] l4dm_dataspace_t *ds) |
| Create a new dataspace. | |
| long | size ([in] unsigned long ds_id,[out] l4_size_t *size) |
| Request the size of a dataspace. | |
| long | resize ([in] unsigned long ds_id,[in] unsigned long new_size) |
| Resize dataspace. | |
| long | phys_addr ([in] unsigned long ds_id,[in] unsigned long offset,[in] l4_size_t size,[out] unsigned long *paddr,[out] l4_size_t *psize) |
| Request phys. address of a dataspace region. | |
| long | is_contiguous ([in] unsigned long ds_id,[out] long *is_cont) |
| Check if dataspace is allocated on contiguous phys. memory. | |
| long | lock ([in] unsigned long ds_id,[in] unsigned long offset,[in] unsigned long size) |
| Lock ("pin") a region of a dataspace. | |
| long | unlock ([in] unsigned long ds_id,[in] unsigned long offset,[in] unsigned long size) |
| Unlock a region of a dataspace. | |
| long | info ([in] unsigned long ds_id,[out] l4_size_t *size,[out] l4_threadid_t *owner,[out, string, prealloc_client] char **name,[out] l4_uint32_t *next_id) |
| Return information about a dataspace for debugging purposes. | |
Definition at line 30 of file dm_mem.idl.