Adding rdtsc.h