rdtsc_ordered
tsc = rdtsc_ordered();
now = rdtsc_ordered();
return (u64)rdtsc_ordered();
#define hv_get_raw_timer() rdtsc_ordered()
ret = __pvclock_read_cycles(pvti, rdtsc_ordered());
return (u64)rdtsc_ordered() & S64_MAX;
i_mce.tsc = rdtsc_ordered();
start = rdtsc_ordered();
start = rdtsc_ordered();
end = rdtsc_ordered();
tsc = rdtsc_ordered();
ret = __pvclock_read_cycles(src, rdtsc_ordered());
return rdtsc_ordered();
return (u64)rdtsc_ordered();
start = rdtsc_ordered();
now = rdtsc_ordered();
u64 ret = (u64)rdtsc_ordered();
start = rdtsc_ordered();
end = rdtsc_ordered();
bclock = rdtsc_ordered();
now = rdtsc_ordered();
bclock = rdtsc_ordered();