crystal_khz       617 arch/x86/kernel/tsc.c 	unsigned int crystal_khz;
crystal_khz       633 arch/x86/kernel/tsc.c 	crystal_khz = ecx_hz / 1000;
crystal_khz       640 arch/x86/kernel/tsc.c 	if (crystal_khz == 0 &&
crystal_khz       642 arch/x86/kernel/tsc.c 		crystal_khz = 25000;
crystal_khz       649 arch/x86/kernel/tsc.c 	if (crystal_khz != 0)
crystal_khz       657 arch/x86/kernel/tsc.c 	if (crystal_khz == 0 && boot_cpu_data.cpuid_level >= 0x16) {
crystal_khz       661 arch/x86/kernel/tsc.c 		crystal_khz = eax_base_mhz * 1000 *
crystal_khz       665 arch/x86/kernel/tsc.c 	if (crystal_khz == 0)
crystal_khz       682 arch/x86/kernel/tsc.c 	lapic_timer_period = crystal_khz * 1000 / HZ;
crystal_khz       685 arch/x86/kernel/tsc.c 	return crystal_khz * ebx_numerator / eax_denominator;