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