/* win32 implementation using rdtsc */
typedef unsigned __int64 timing_ticks_t;
static __inline timing_ticks_t __timing_ticks(void) { __asm { rdtsc } }
#else
#error need a 64bit int type
#endif
/* win32 implementation using rdtsc */
typedef unsigned __int64 timing_ticks_t;
static __inline timing_ticks_t __timing_ticks(void) { __asm { rdtsc } }
#else
#error need a 64bit int type
#endif