ecx_hz            616 arch/x86/kernel/tsc.c 	unsigned int eax_denominator, ebx_numerator, ecx_hz, edx;
ecx_hz            625 arch/x86/kernel/tsc.c 	eax_denominator = ebx_numerator = ecx_hz = edx = 0;
ecx_hz            628 arch/x86/kernel/tsc.c 	cpuid(0x15, &eax_denominator, &ebx_numerator, &ecx_hz, &edx);
ecx_hz            633 arch/x86/kernel/tsc.c 	crystal_khz = ecx_hz / 1000;