2004-01-28 20:02:12 -05:00
|
|
|
/*
|
|
|
|
** Timing functions.
|
|
|
|
**
|
|
|
|
** This program is distributed under the GNU General Public License, version 2.
|
|
|
|
** A copy of this license is included with this source.
|
|
|
|
*/
|
|
|
|
|
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
|
|
|
|
2003-07-04 19:18:26 -04:00
|
|
|
/* config.h should be included before we are to define _mangle */
|
|
|
|
#ifdef _mangle
|
|
|
|
# define timing_get_time _mangle(timing_get_time)
|
|
|
|
# define timing_sleep _mangle(timing_sleep)
|
|
|
|
#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__ */
|