Searched refs:ebx_tsc (Results 1 – 1 of 1) sorted by relevance
5661 unsigned int ebx_tsc; in process_cpuid() local5666 eax_crystal = ebx_tsc = crystal_hz = edx = 0; in process_cpuid()5667 __cpuid(0x15, eax_crystal, ebx_tsc, crystal_hz, edx); in process_cpuid()5669 if (ebx_tsc != 0) { in process_cpuid()5673 eax_crystal, ebx_tsc, crystal_hz); in process_cpuid()5692 tsc_hz = (unsigned long long)crystal_hz *ebx_tsc / eax_crystal; in process_cpuid()5695 tsc_hz / 1000000, crystal_hz, ebx_tsc, eax_crystal); in process_cpuid()