#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;

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. */

        /* 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) +
        printf("%f MHz processor.\n",

        return 0;