dm_mem.idl File Reference

L4 memory dataspace manager interface. More...

Go to the source code of this file.

Namespaces
namespace	if_l4dm
Data Structures
interface	if_l4dm::mem

---

Detailed Description

L4 memory dataspace manager interface.

Date:

11/19/2001

Author:

Lars Reuther <reuther@os.inf.tu-dresden.de>

Definition in file dm_mem.idl.