if_l4dm Namespace Reference
[Dataspace Manager Interface IDL Specifications]

Data Structures
interface	generic

---

Detailed Description

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