precalibrated_tsc_khz   25 arch/x86/kernel/jailhouse.c static unsigned int precalibrated_tsc_khz;
precalibrated_tsc_khz   53 arch/x86/kernel/jailhouse.c 	return precalibrated_tsc_khz;
precalibrated_tsc_khz  189 arch/x86/kernel/jailhouse.c 	precalibrated_tsc_khz = setup_data.tsc_khz;