VCLOCK_TSC        240 arch/x86/include/asm/vdso/gettimeofday.h 	if (clock_mode == VCLOCK_TSC)
VCLOCK_TSC       1121 arch/x86/kernel/tsc.c 	.archdata               = { .vclock_mode = VCLOCK_TSC },
VCLOCK_TSC       1141 arch/x86/kernel/tsc.c 	.archdata               = { .vclock_mode = VCLOCK_TSC },
VCLOCK_TSC        819 arch/x86/kvm/trace.h 	{VCLOCK_TSC,  "tsc"}				\
VCLOCK_TSC       1840 arch/x86/kvm/x86.c 	return mode == VCLOCK_TSC || mode == VCLOCK_HVCLOCK;
VCLOCK_TSC       2101 arch/x86/kvm/x86.c 	case VCLOCK_TSC:
VCLOCK_TSC       2102 arch/x86/kvm/x86.c 		*mode = VCLOCK_TSC;