Miscellaneous Memory Functions
[Dataspace Manager Client API]

Lock/unlock dataspace regions, get memory size, ... More...

Generated on Wed Apr 11 06:38:25 2012 for L4Env Generic Dataspace Manager Interface by

1.5.6