Searched refs:ebx_tsc (Results 1 – 1 of 1) sorted by relevance
4755 unsigned int ebx_tsc; in process_cpuid() local4760 eax_crystal = ebx_tsc = crystal_hz = edx = 0; in process_cpuid()4761 __cpuid(0x15, eax_crystal, ebx_tsc, crystal_hz, edx); in process_cpuid()4763 if (ebx_tsc != 0) { in process_cpuid()4767 eax_crystal, ebx_tsc, crystal_hz); in process_cpuid()4786 tsc_hz = (unsigned long long) crystal_hz * ebx_tsc / eax_crystal; in process_cpuid()4789 tsc_hz / 1000000, crystal_hz, ebx_tsc, eax_crystal); in process_cpuid()
