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