Searched refs:ebx_tsc (Results 1 – 1 of 1) sorted by relevance
5138 unsigned int ebx_tsc; in process_cpuid() local5143 eax_crystal = ebx_tsc = crystal_hz = edx = 0; in process_cpuid()5144 __cpuid(0x15, eax_crystal, ebx_tsc, crystal_hz, edx); in process_cpuid()5146 if (ebx_tsc != 0) { in process_cpuid()5150 eax_crystal, ebx_tsc, crystal_hz); in process_cpuid()5169 tsc_hz = (unsigned long long) crystal_hz * ebx_tsc / eax_crystal; in process_cpuid()5172 tsc_hz / 1000000, crystal_hz, ebx_tsc, eax_crystal); in process_cpuid()