Searched refs:ebx_tsc (Results 1 – 1 of 1) sorted by relevance
2744 unsigned int ebx_tsc; in process_cpuid() local2749 eax_crystal = ebx_tsc = crystal_hz = edx = 0; in process_cpuid()2750 __get_cpuid(0x15, &eax_crystal, &ebx_tsc, &crystal_hz, &edx); in process_cpuid()2752 if (ebx_tsc != 0) { in process_cpuid()2756 eax_crystal, ebx_tsc, crystal_hz); in process_cpuid()2769 tsc_hz = (unsigned long long) crystal_hz * ebx_tsc / eax_crystal; in process_cpuid()2772 tsc_hz / 1000000, crystal_hz, ebx_tsc, eax_crystal); in process_cpuid()