Symbol: jailhouse_get_tsc
arch/x86/kernel/jailhouse.c
213
x86_platform.calibrate_cpu = jailhouse_get_tsc;
arch/x86/kernel/jailhouse.c
214
x86_platform.calibrate_tsc = jailhouse_get_tsc;