l4dm_dataspace Struct Reference
[Dataspace Types]

---

Detailed Description

L4 dataspace id

Definition at line 32 of file types.h.

---

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

• /tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/include/types.h