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 29 30 #if defined( VXWORKS_TIME_H_SYSLIB_CHECK ) 31 /* kernel header pattern: */ 32 #include <vxWorks.h> 33 #include <sysLib.h> 34 35 /* rtp header pattern: */ 36 #ifndef _YVALS 37 #include <yvals.h> 38 #endif /* _YVALS */ 39 #include <sysLib.h> 40 41 #define CLOCKS_PER_SEC sysClkRateGet() 42 #endif /* VXWORKS_TIME_H_SYSLIB_CHECK */ 43