Symbol: vclock_was_used
arch/x86/entry/vdso/vma.c
108
if (pfn && vclock_was_used(VDSO_CLOCKMODE_HVCLOCK))
arch/x86/entry/vdso/vma.c
97
if (pvti && vclock_was_used(VDSO_CLOCKMODE_PVCLOCK))
arch/x86/kernel/pvclock.c
158
WARN_ON(vclock_was_used(VDSO_CLOCKMODE_PVCLOCK));