gtod_is_based_on_tsc
gtod_is_based_on_tsc(gtod->clock.vclock_mode);
if (!gtod_is_based_on_tsc(pvclock_gtod_data.clock.vclock_mode))
return gtod_is_based_on_tsc(do_kvmclock_base(kernel_ns,
if (!gtod_is_based_on_tsc(pvclock_gtod_data.clock.vclock_mode))
return gtod_is_based_on_tsc(do_monotonic(kernel_ns,
if (!gtod_is_based_on_tsc(pvclock_gtod_data.clock.vclock_mode))
return gtod_is_based_on_tsc(do_realtime(ts, tsc_timestamp));
if (!gtod_is_based_on_tsc(gtod->clock.vclock_mode) &&