#ifndef RDTSC_H_
#define RDTSC_H_

/*
 *  rdtsc is Read Time Stamp Counter
 */

/* define this somewhere */
#ifdef __i386
__inline__ uint64_t rdtsc() {
    uint64_t x;
    __asm__ volatile ("rdtsc" : "=A" (x));
    return x;
}
#elif __amd64
__inline__ uint64_t rdtsc() {
    uint64_t a, d;
    __asm__ volatile ("rdtsc" : "=a" (a), "=d" (d));
    return (d<<32) | a;
}
#endif
#endif