Symbol: securetsc_get_tsc_khz
arch/x86/coco/sev/core.c
2051
x86_platform.calibrate_cpu = securetsc_get_tsc_khz;
arch/x86/coco/sev/core.c
2052
x86_platform.calibrate_tsc = securetsc_get_tsc_khz;