rdtsc
return (rdtsc());
return (rdtsc());
return (rdtsc());
tsc = rdtsc();
tsc1 = rdtsc();
write_cyc = rdtsc() - tsc1;
tsc1 = rdtsc();
start_cyc = rdtsc() - tsc1;
tsc1 = rdtsc();
read_cyc = rdtsc() - tsc1;
tsc1 = rdtsc();
stop_cyc = rdtsc() - tsc1;
uint64_t tsc = rdtsc();
return (rdtsc());
return (rdtsc());
return (rdtsc());
svm_set_tsc_offset(vcpu, val - rdtsc());
error = vmx_set_tsc_offset(vcpu, val - rdtsc());
tscval = rdtsc();
vmm_stat_incr(vcpu, VCPU_TOTAL_RUNTIME, rdtsc() - tscval);
now = rdtsc();
now = rdtsc();
tgt_cpu_tsc = rdtsc();
hst_cpu_tsc = rdtsc();
tsc = rdtsc() - tsc_skew[curcpu];
tgt_cpu_tsc = rdtsc();
hst_cpu_tsc = rdtsc();
tsc = rdtsc() - tsc_skew[curcpu];
tscval[0] = rdtsc();
tscval[1] = rdtsc();
tscval[2] = rdtsc();
return (rdtsc());
*v = rdtsc();
tsc = rdtsc(); \
return (rdtsc());
pmct->pmct_value = rdtsc();
return (rdtsc());
return (rdtsc());
val = rdtsc();
return (rdtsc);
tsc1 = rdtsc();
tsc2 = rdtsc();
tsc1 = rdtsc();
tsc2 = rdtsc();
now = rdtsc();
now = rdtsc();
wrmsr(MSR_TSC_DEADLINE, la->la_timer_period + rdtsc());
r = rdtsc();
r = rdtsc() - r;
rec->mr_tsc = rdtsc();
set_cputicker(rdtsc, tsc_freq, !tsc_is_invariant);
tsc[cpu * 3 + x] = rdtsc(); \
set_cputicker(rdtsc, tsc_freq, !tsc_is_invariant);
set_cputicker(rdtsc, max_freq, true);
tsc = rdtsc();
thread_tsc = rdtsc();
tevbuf[i++] = rdtsc();