if_l4dm::memphys Interface Reference
[Physical Memory Dataspace Manager Interface]

Inherits if_l4dm::mem.

Public Member Functions
long	dmphys_open ([in] unsigned long pool,[in] unsigned long addr,[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	dmphys_copy ([in] unsigned long ds_id,[in] unsigned long src_offs,[in] unsigned long dst_offs,[in] unsigned long num,[in] unsigned long dst_pool,[in] unsigned long dst_addr,[in] unsigned long dst_size,[in] unsigned long dst_align,[in] unsigned long flags,[in, string] char *name,[out] l4dm_dataspace_t *copy)
	Create a copy of a dataspace.
long	dmphys_pagesize ([in] unsigned long ds_id,[in] unsigned long offs,[in] unsigned long size,[in] unsigned long pagesize,[out] int *ok)
	Check phys. pagesize for dataspace region.
long	dmphys_poolsize ([in] unsigned long pool,[out] l4_size_t *size,[out] l4_size_t *free)
	Returns the size of a given pool.
void	dmphys_debug ([in] unsigned long key,[in] unsigned long data)
	DEBUG: show DMphys debug information.

---

Detailed Description

Phys. memory dataspace manager interface

Definition at line 30 of file dm_phys.idl.

---

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

• dm_phys.idl