Symbol: vclocks_set_used
arch/x86/kernel/kvmclock.c
154
vclocks_set_used(VDSO_CLOCKMODE_PVCLOCK);
arch/x86/kernel/tsc.c
1168
vclocks_set_used(VDSO_CLOCKMODE_TSC);
arch/x86/xen/time.c
161
vclocks_set_used(VDSO_CLOCKMODE_PVCLOCK);
drivers/clocksource/hyperv_timer.c
489
vclocks_set_used(VDSO_CLOCKMODE_HVCLOCK);