Symbol: PVCLOCK_FLAG_TSC_STABLE
sys/arch/amd64/amd64/vmm_machdep.c
7074
pvclock_ti->ti_flags = PVCLOCK_FLAG_TSC_STABLE;
sys/dev/pv/pvclock.c
224
if ((flags & PVCLOCK_FLAG_TSC_STABLE) == 0) {
sys/dev/pv/pvclock.c
353
if ((flags & PVCLOCK_FLAG_TSC_STABLE) != 0)