rdtsc_barrier 85 arch/x86/include/asm/pvclock.h rdtsc_barrier(); rdtsc_barrier 89 arch/x86/include/asm/pvclock.h rdtsc_barrier();