1/* DO NOT EDIT THIS FILE. 2 3 It has been auto-edited by fixincludes from: 4 5 "fixinc/tests/inc/time.h" 6 7 This had to be done to correct non-standard usages in the 8 original, manufacturer supplied header file. */ 9 10 11 12#if defined( VXWORKS_NEEDS_VXTYPES_CHECK ) 13unsigned int _clocks_per_sec; 14#endif /* VXWORKS_NEEDS_VXTYPES_CHECK */ 15 16 17#if defined( VXWORKS_TIME_CHECK ) 18#ifndef __gcc_VOIDFUNCPTR_defined 19#ifdef __cplusplus 20typedef void (*__gcc_VOIDFUNCPTR) (...); 21#else 22typedef void (*__gcc_VOIDFUNCPTR) (); 23#endif 24#define __gcc_VOIDFUNCPTR_defined 25#endif 26#define VOIDFUNCPTR __gcc_VOIDFUNCPTR 27#endif /* VXWORKS_TIME_CHECK */ 28