Use RDTSC by now.