ebx_numerator     616 arch/x86/kernel/tsc.c 	unsigned int eax_denominator, ebx_numerator, ecx_hz, edx;
ebx_numerator     625 arch/x86/kernel/tsc.c 	eax_denominator = ebx_numerator = ecx_hz = edx = 0;
ebx_numerator     628 arch/x86/kernel/tsc.c 	cpuid(0x15, &eax_denominator, &ebx_numerator, &ecx_hz, &edx);
ebx_numerator     630 arch/x86/kernel/tsc.c 	if (ebx_numerator == 0 || eax_denominator == 0)
ebx_numerator     662 arch/x86/kernel/tsc.c 			eax_denominator / ebx_numerator;
ebx_numerator     685 arch/x86/kernel/tsc.c 	return crystal_khz * ebx_numerator / eax_denominator;