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