#include <stdlib.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <assert.h>
#include <sys/param.h>

typedef unsigned long uint64_t;
typedef unsigned int uint32_t; 

char *testcase_description = "rdtscp";

static __inline uint64_t
rdtscp(void)
{       
        uint32_t low, high;
        
        __asm __volatile("rdtscp" : "=a" (low), "=d" (high) : : "ecx");
        return (low | ((uint64_t)high << 32));
}       



void testcase(unsigned long long *iterations, unsigned long nr)
{

	while (1) {
		rdtscp();
		(*iterations)++;
	}
}