2001-09-09 22:24:39 -04:00
|
|
|
#ifndef __TIMING_H__
|
|
|
|
#define __TIMING_H__
|
|
|
|
|
2001-10-20 17:28:09 -04:00
|
|
|
#include <sys/types.h>
|
|
|
|
#ifdef HAVE_STDINT_H
|
2002-02-06 20:04:09 -05:00
|
|
|
#include <stdint.h>
|
2001-10-20 17:28:09 -04:00
|
|
|
#endif
|
2002-02-06 20:04:09 -05:00
|
|
|
|
2001-10-20 17:28:09 -04:00
|
|
|
#ifdef _WIN32
|
2002-02-06 20:04:09 -05:00
|
|
|
typedef __int64 int64_t;
|
|
|
|
typedef unsigned __int64 uint64_t;
|
2001-10-20 17:28:09 -04:00
|
|
|
#endif
|
2001-10-20 01:03:24 -04:00
|
|
|
|
|
|
|
uint64_t timing_get_time(void);
|
|
|
|
void timing_sleep(uint64_t sleeptime);
|
2001-09-09 22:24:39 -04:00
|
|
|
|
|
|
|
#endif /* __TIMING_H__ */
|