Symbol: acrn_get_tsc_khz
arch/x86/kernel/cpu/acrn.c
32
x86_platform.calibrate_tsc = acrn_get_tsc_khz;
arch/x86/kernel/cpu/acrn.c
33
x86_platform.calibrate_cpu = acrn_get_tsc_khz;