rdtsc

static inline uint64_t rdtsc(void)
{
        uint32_t a;
        uint32_t d;
        asm volatile ("rdtsc" : "=a" (a), "=d" (d));

        return (uint64_t) a | ((uint64_t) d << 32);
}