28 lines
632 B
C
28 lines
632 B
C
/* 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 */
|