Blame for this: static inline uint64_t get_ts() { uint32_t low, high; asm(“rdtsc” : “=a” (low), “=d” (high)); ts = high; return ((uint64_t)high << 32) + low; } /* From kernel sources: include/asm-i386/processor.h / / * Generic CPUID function * clear %ecx since some cpus (Cyrix MII) do not set or clear %ecx * resulting in [...]
Flickr Photostream
