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