Generated on Tue Jan 1 18:25:06 2008 for Xenomai API by  doxygen 1.5.3