jailhouse_get_tsc  150 arch/x86/kernel/jailhouse.c 	x86_platform.calibrate_cpu	= jailhouse_get_tsc;
jailhouse_get_tsc  151 arch/x86/kernel/jailhouse.c 	x86_platform.calibrate_tsc	= jailhouse_get_tsc;