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