Introduction   User API Reference   DSMlib Reference   IDL Interface   File List   Index  

if_l4dm Namespace Reference
[Dataspace Manager Interface IDL Specifications]


Data Structures

interface  mem
interface  generic
interface  memphys

Detailed Description

Dataspace manager interface

import l4dm_dataspace_t and via l4/sys/types.h l4_threadid_t Dataspace manager interface

DMphys Reference Manual, written by Lars Reuther  © 2000-2003