Searched refs:vtsc_last (Results 1 – 2 of 2) sorted by relevance
378 s_time_t vtsc_last; /* previous TSC value (guarantee monotonicity) */ member
2316 old = d->arch.vtsc_last; in pv_soft_rdtsc()2317 new = now > d->arch.vtsc_last ? now : old + 1; in pv_soft_rdtsc()2318 } while ( cmpxchg(&d->arch.vtsc_last, old, new) != old ); in pv_soft_rdtsc()
Completed in 9 milliseconds