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