0
|
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 */
|