PVCLOCK_FLAG_TSC_STABLE
if ((flags & PVCLOCK_FLAG_TSC_STABLE) == 0) {
if ((flags & PVCLOCK_FLAG_TSC_STABLE) == 0) {
pvc->stable_flag_supported ? PVCLOCK_FLAG_TSC_STABLE : 0;
((vdso_th->th_x86_pvc_stable_mask & PVCLOCK_FLAG_TSC_STABLE) != 0 &&
pvc->stable_flag_supported ? PVCLOCK_FLAG_TSC_STABLE : 0;
((vdso_th->th_x86_pvc_stable_mask & PVCLOCK_FLAG_TSC_STABLE) != 0 &&