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