rdtsc
return rdtsc();
tsc_uclock_t rdtsc(void);
return (rdtsc());
return (rdtsc());
tsc = rdtsc();
old_tsc = rdtsc();
new_tsc = rdtsc();
a = rdtsc();
a = rdtsc();
tsc = rdtsc(); \
cpudata->gtsc_offset = exit->u.wrmsr.val - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;
cpudata->gtsc_offset = exit->u.wrmsr.val - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;
return (rdtsc() + tsc_frequency * ns / (int64_t)1000000000);
if ((int64_t)(target - rdtsc()) <= 0)
ktr_sync_tsc = rdtsc();
ktr_sync_tsc = rdtsc();
delta = rdtsc() - ktr_sync_tsc;
entry->ktr_timestamp = rdtsc() - tsc_offsets[cpu];
((int)rdtsc() % 151);
nsec ^= (rdtsc() & 255) << 8;
if ((rdtsc() >> spin_window_shift) % ncpus != mycpuid) {
(rdtsc() >> spin_window_shift) % ncpus == mycpuid) {
uint64_t tsc_base = rdtsc();
if (rdtsc() - tsc_base > tsc_frequency) {
tsc_base = rdtsc();
uint64_t tsc_base = rdtsc();
if (tsc_frequency && rdtsc() - tsc_base > tsc_frequency) {
tsc_base = rdtsc();
uint64_t tsc_base = rdtsc();
if (tsc_frequency && rdtsc() - tsc_base > tsc_frequency) {
tsc_base = rdtsc();
uint64_t tsc_base = rdtsc();
if (tsc_frequency && rdtsc() - tsc_base > tsc_frequency) {
tsc_base = rdtsc();
if ((rdtsc() >> token_window_shift) % ncpus != mycpuid) {
if ((rdtsc() >> token_window_shift) % ncpus == mycpuid) {
val = rdtsc();
now = rdtsc();
uint64_t val = rdtsc() + diff;
now = rdtsc();
tsc = rdtsc();
if ((tsc_sclock_t)(rdtsc() -
tsc = rdtsc();
val += rdtsc();
return (rdtsc());
tsc[i] = (u_int32_t)rdtsc();
tscval = rdtsc();
last = rdtsc();
next = rdtsc();
last = rdtsc();
next = rdtsc();
old_tsc = rdtsc();
tsc_frequency = rdtsc() - old_tsc;
new_tsc = rdtsc();
tsc = rdtsc() - last_tsc[gd->gd_cpuid];
last_tsc[gd->gd_cpuid] = rdtsc();
if (tsc_frequency && rdtsc() - tsc_base > tsc_frequency) {
tsc_base = rdtsc();
tsc_uclock_t tsc_base = rdtsc();
if (tsc_frequency && rdtsc() - tsc_base > tsc_frequency) {
tsc_base = rdtsc();
tsc_offsets[mycpu->gd_cpuid] = rdtsc() - tsc0_offset;
tsc0_offset = rdtsc();
tsc0_offset = rdtsc();
tsc0_offset = rdtsc();
ltsc = rdtsc();
ntsc = rdtsc(); /* force loop to occur */
tsc_uclock_t tsc_base = rdtsc();
tsc = rdtsc();
info->tsc_target = rdtsc() + (tsc_frequency * LOOPRECOVER_TIMEOUT1);
info->tsc_target = rdtsc() + (tsc_frequency * LOOPRECOVER_TIMEOUT1);
tsc_uclock_t tscval = rdtsc();
tscval = rdtsc() - tscval;
delta = rdtsc() - info->base;
delta = rdtsc() - info->base;
info->base = rdtsc();
t->tsc = rdtsc();
tsc2 = rdtsc();
tsc2 = rdtsc();
tsc2 = rdtsc();
tsc2 = rdtsc();