fixincludes/tests/base/time.h

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