/tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/idl/dm_generic.idl File Reference

L4 generic dataspace manager interface. More...

Go to the source code of this file.

Namespaces

namespace  if_l4dm

Data Structures

interface  if_l4dm::generic


Detailed Description

L4 generic dataspace manager interface.

Date:
11/19/2001
Author:
Lars Reuther <reuther@os.inf.tu-dresden.de>

Definition in file dm_generic.idl.


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