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 )
13unsigned 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
20typedef void (*__gcc_VOIDFUNCPTR) (...);
21#else
22typedef 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