fix the RDTSC() inline so that it works correctly with c99