fix rdtsc code