vclock_was_used   115 arch/x86/entry/vdso/vma.c 		if (pvti && vclock_was_used(VCLOCK_PVCLOCK)) {
vclock_was_used   123 arch/x86/entry/vdso/vma.c 		if (tsc_pg && vclock_was_used(VCLOCK_HVCLOCK))
vclock_was_used   148 arch/x86/kernel/pvclock.c 	WARN_ON(vclock_was_used(VCLOCK_PVCLOCK));