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:

Generated on Wed Apr 11 06:37:12 2012 for L4Env Memory Dataspace Manager Interface by  doxygen 1.5.6