/* times.h,v 1.1 2001/06/01 20:56:57 joeh Exp

 * ============================================================================
 *
 * = LIBRARY
 *    pace
 *
 * = FILENAME
 *    pace/vxworks/times.h
 *
 * = AUTHOR
 *    Joe Hoffert
 *
 * ============================================================================ */

#ifndef PACE_SYS_TIMES_H_VXWORKS
#define PACE_SYS_TIMES_H_VXWORKS

#include <sys/times.h>

#if defined (PACE_HAS_CPLUSPLUS)
extern "C" {
#endif /* PACE_HAS_CPLUSPLUS */

#ifndef PACE_CLOCK_T
#define PACE_CLOCK_T
typedef int pace_clock_t;
#endif /* PACE_CLOCK_T */

#ifndef PACE_TMS
#define PACE_TMS
typedef struct tms pace_tms;
#endif /* PACE_TMS */

#if defined (PACE_HAS_CPLUSPLUS)
}
#endif /* PACE_HAS_CPLUSPLUS */

#endif /* PACE_SYS_TIMES_H_VXWORKS */
