ebx_tsc          4768 tools/power/x86/turbostat/turbostat.c 		unsigned int ebx_tsc;
ebx_tsc          4773 tools/power/x86/turbostat/turbostat.c 		eax_crystal = ebx_tsc = crystal_hz = edx = 0;
ebx_tsc          4774 tools/power/x86/turbostat/turbostat.c 		__cpuid(0x15, eax_crystal, ebx_tsc, crystal_hz, edx);
ebx_tsc          4776 tools/power/x86/turbostat/turbostat.c 		if (ebx_tsc != 0) {
ebx_tsc          4780 tools/power/x86/turbostat/turbostat.c 					eax_crystal, ebx_tsc, crystal_hz);
ebx_tsc          4799 tools/power/x86/turbostat/turbostat.c 				tsc_hz =  (unsigned long long) crystal_hz * ebx_tsc / eax_crystal;
ebx_tsc          4802 tools/power/x86/turbostat/turbostat.c 						tsc_hz / 1000000, crystal_hz, ebx_tsc,  eax_crystal);