/* DO NOT EDIT THIS FILE. It has been auto-edited by fixincludes from: "fixinc/tests/inc/time.h" This had to be done to correct non-standard usages in the original, manufacturer supplied header file. */ #if defined( VXWORKS_NEEDS_VXTYPES_CHECK ) unsigned int _clocks_per_sec; #endif /* VXWORKS_NEEDS_VXTYPES_CHECK */ #if defined( VXWORKS_TIME_CHECK ) #ifndef __gcc_VOIDFUNCPTR_defined #ifdef __cplusplus typedef void (*__gcc_VOIDFUNCPTR) (...); #else typedef void (*__gcc_VOIDFUNCPTR) (); #endif #define __gcc_VOIDFUNCPTR_defined #endif #define VOIDFUNCPTR __gcc_VOIDFUNCPTR #endif /* VXWORKS_TIME_CHECK */