Generated on Mon Aug 2 12:48:36 2010 for Xenomai API by  doxygen 1.5.6