if_l4dm Namespace Reference
[Dataspace Manager Interface IDL Specifications]

Data Structures
interface	mem
interface	generic

---

Detailed Description

Dataspace manager interface

import l4dm_dataspace_t and via l4/sys/types.h l4_threadid_t Dataspace manager interface