ddekit_lock Struct Reference

List of all members.

Public Attributes

l4lock_t lock


Detailed Description

Definition at line 9 of file lock.c.


Member Data Documentation

Definition at line 10 of file lock.c.


The documentation for this struct was generated from the following file:

Generated on Wed Apr 11 06:39:16 2012 for DDE - The L4 Device Driver Environment by  doxygen 1.5.6