update rdtsc.h