movl S_ARG0, %ecx
+ lfence
rdtsc
lfence
pushl %esi /* save generation */
pushl RNT_SHIFT(%edi) /* save low 32 bits of tscFreq */
- rdtsc /* get TSC in %edx:%eax */
+ lfence
+ rdtsc /* get TSC in %edx:%eax */
+ lfence
subl RNT_TSC_BASE(%edi),%eax
sbbl RNT_TSC_BASE+4(%edi),%edx