Usage   Script Syntax   IDL interface   Related Pages  

l4dm_dataspace Struct Reference

L4 dataspace id. More...


Data Fields

l4_uint32_t id
l4_threadid_t manager


Detailed Description

L4 dataspace id.

L4 Loader User Manual, part of DROPS  © 2000-2003