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 )
13 unsigned 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
20 typedef void (*__gcc_VOIDFUNCPTR) (...);
21 #else
22 typedef void (*__gcc_VOIDFUNCPTR) ();
23 #endif
24 #define __gcc_VOIDFUNCPTR_defined
25 #endif
26 #define VOIDFUNCPTR __gcc_VOIDFUNCPTR
27 #endif  /* VXWORKS_TIME_CHECK */
28