#include <stdio.h>
#include <sys/time.h>

__inline__ unsigned long long int rdtsc()
{
	unsigned long long int x;
	__asm__ volatile (".byte 0x0f, 0x31" : "=A" (x));
	return x;
}

int
main ()
{
	struct timezone tz;
        struct timeval tvstart, tvstop;
        unsigned long long int cycles[2]; /* gotta be 64 bit */
	unsigned int microseconds; /* total time taken */
	
	bzero(&tz, sizeof(tz));

	/* Load this function a cached memory. */
	gettimeofday(&tvstart, &tz);

	/* Read TSC for the first time and get timestamp.  */
	cycles[0] = rdtsc();
	gettimeofday(&tvstart, &tz);

	/* We don't trust that this is any specific length of time.
	   We don't even care how long time we'll sleep. */
	sleep(1);
	
	/* Read TSC for the second time and get timestamp.  */
	cycles[1] = rdtsc();
	gettimeofday(&tvstop, &tz);

	/* Compute the frequency.  */
	microseconds = ((tvstop.tv_sec-tvstart.tv_sec)*1000000) +
		(tvstop.tv_usec-tvstart.tv_usec);
	printf("%f MHz processor.\n",
		(float)(cycles[1]-cycles[0])/microseconds);

	return 0;
}