arch/x86/include/asm/vdso/gettimeofday.h

124

if (unlikely(!(pvti->flags & PVCLOCK_TSC_STABLE_BIT)))

arch/x86/kernel/kvmclock.c

254

if (!(flags & PVCLOCK_TSC_STABLE_BIT))

arch/x86/kernel/kvmclock.c

319

pvclock_set_flags(PVCLOCK_TSC_STABLE_BIT);

arch/x86/kernel/kvmclock.c

322

kvm_sched_clock_init(flags & PVCLOCK_TSC_STABLE_BIT);

arch/x86/kernel/pvclock.c

86

if ((valid_flags & PVCLOCK_TSC_STABLE_BIT) &&

arch/x86/kernel/pvclock.c

87

(flags & PVCLOCK_TSC_STABLE_BIT))

arch/x86/kvm/hyperv.c

1117

if (!(hv_clock->flags & PVCLOCK_TSC_STABLE_BIT))

arch/x86/kvm/x86.c

3398

hv_clock.flags |= PVCLOCK_TSC_STABLE_BIT;

arch/x86/kvm/x86.c

3427

hv_clock.flags &= ~PVCLOCK_TSC_STABLE_BIT;

arch/x86/xen/time.c

470

if (!(ti->pvti.flags & PVCLOCK_TSC_STABLE_BIT)) {

arch/x86/xen/time.c

550

if (pvti->flags & PVCLOCK_TSC_STABLE_BIT) {

arch/x86/xen/time.c

551

pvclock_set_flags(PVCLOCK_TSC_STABLE_BIT);