123456789101112131415161718192021222324252627282930313233343536373839404142 |
- /* DO NOT EDIT THIS FILE.
- It has been auto-edited by fixincludes from:
- "fixinc/tests/inc/time.h"
- This had to be done to correct non-standard usages in the
- original, manufacturer supplied header file. */
- #if defined( VXWORKS_NEEDS_VXTYPES_CHECK )
- unsigned int _clocks_per_sec;
- #endif /* VXWORKS_NEEDS_VXTYPES_CHECK */
- #if defined( VXWORKS_TIME_CHECK )
- #ifndef __gcc_VOIDFUNCPTR_defined
- #ifdef __cplusplus
- typedef void (*__gcc_VOIDFUNCPTR) (...);
- #else
- typedef void (*__gcc_VOIDFUNCPTR) ();
- #endif
- #define __gcc_VOIDFUNCPTR_defined
- #endif
- #define VOIDFUNCPTR __gcc_VOIDFUNCPTR
- #endif /* VXWORKS_TIME_CHECK */
- #if defined( VXWORKS_TIME_H_SYSLIB_CHECK )
- /* kernel header pattern: */
- #include <vxWorks.h>
- #include <sysLib.h>
- /* rtp header pattern: */
- #ifndef _YVALS
- #include <yvals.h>
- #endif /* _YVALS */
- #include <sysLib.h>
- #define CLOCKS_PER_SEC sysClkRateGet()
- #endif /* VXWORKS_TIME_H_SYSLIB_CHECK */
|