blob: e0252bd85d14836498d800c28cc96abc87510057 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/* 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 */
|
