Searched refs:ebx_tsc (Results 1 – 1 of 1) sorted by relevance
4133 unsigned int ebx_tsc; in process_cpuid() local4138 eax_crystal = ebx_tsc = crystal_hz = edx = 0; in process_cpuid()4139 __cpuid(0x15, eax_crystal, ebx_tsc, crystal_hz, edx); in process_cpuid()4141 if (ebx_tsc != 0) { in process_cpuid()4145 eax_crystal, ebx_tsc, crystal_hz); in process_cpuid()4168 tsc_hz = (unsigned long long) crystal_hz * ebx_tsc / eax_crystal; in process_cpuid()4171 tsc_hz / 1000000, crystal_hz, ebx_tsc, eax_crystal); in process_cpuid()