void CDB___os_set_errno ( int  evalue  ) 


Generated on Sun Jun 8 10:56:54 2008 for GNUmifluz by  doxygen 1.5.5