| /* 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 */ |
