Home | History | Annotate | Line # | Download | only in base 
      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