Another way to serialize rdtsc!!!