RDTSC is not reliable in multi-CPU systems...