* define HAVE_RDTSCP to use the serializing rdtscp instruction instead of rdtsc.
* This is only supported on newer Intel/AMD hardware, but provides better accuracy.
*/
-#ifdef HAVE_CONFIG_H
#include "config.h"
-#endif
#ifdef _MSC_VER
#include <intrin.h>
#elif defined(__xlC__) && defined (_AIX)
/* AIX compilers */
-#include <sys/time.h>
#include <sys/systemcfg.h>
+#include <sys/time.h>
typedef unsigned long long
gmx_cycles_t;