- #include <pthread/types.h>
- #include <machine/machtime.h> /* CLOCKS_PER_SEC is defined here */
- #ifndef _SIZE_T
- #define _SIZE_T
- typedef pthread_size_t size_t;
- #endif
- #ifndef _CLOCK_T
- #define _CLOCK_T
- typedef pthread_clock_t clock_t;
- #endif
- #ifndef _TIME_T
- #define _TIME_T
- typedef pthread_time_t time_t;
- #endif
- #ifndef CLK_TCK
- #define CLK_TCK 60
- #endif