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