Physical Memory Dataspace Manager Interface
[Dataspace Manager Interface IDL Specifications]

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