gtod_is_based_on_tsc 1862 arch/x86/kvm/x86.c 	    (gtod_is_based_on_tsc(gtod->clock.vclock_mode) && vcpus_matched))
gtod_is_based_on_tsc 2161 arch/x86/kvm/x86.c 	if (!gtod_is_based_on_tsc(pvclock_gtod_data.clock.vclock_mode))
gtod_is_based_on_tsc 2164 arch/x86/kvm/x86.c 	return gtod_is_based_on_tsc(do_monotonic_boot(kernel_ns,
gtod_is_based_on_tsc 2173 arch/x86/kvm/x86.c 	if (!gtod_is_based_on_tsc(pvclock_gtod_data.clock.vclock_mode))
gtod_is_based_on_tsc 2176 arch/x86/kvm/x86.c 	return gtod_is_based_on_tsc(do_realtime(ts, tsc_timestamp));
gtod_is_based_on_tsc 7229 arch/x86/kvm/x86.c 	if (!gtod_is_based_on_tsc(gtod->clock.vclock_mode) &&