VCLOCK_PVCLOCK    115 arch/x86/entry/vdso/vma.c 		if (pvti && vclock_was_used(VCLOCK_PVCLOCK)) {
VCLOCK_PVCLOCK    249 arch/x86/include/asm/vdso/gettimeofday.h 	if (clock_mode == VCLOCK_PVCLOCK) {
VCLOCK_PVCLOCK    275 arch/x86/kernel/kvmclock.c 	kvm_clock.archdata.vclock_mode = VCLOCK_PVCLOCK;
VCLOCK_PVCLOCK    148 arch/x86/kernel/pvclock.c 	WARN_ON(vclock_was_used(VCLOCK_PVCLOCK));
VCLOCK_PVCLOCK    470 arch/x86/xen/time.c 	xen_clocksource.archdata.vclock_mode = VCLOCK_PVCLOCK;