Searched refs:cpuid_vmm_tsc_frequency (Results 1 – 3 of 3) sorted by relevance
146 cpuid_vmm_info()->cpuid_vmm_tsc_frequency, in tsc_init()149 if (cpuid_vmm_info()->cpuid_vmm_tsc_frequency && in tsc_init()155 tscFreq = (uint64_t)cpuid_vmm_info()->cpuid_vmm_tsc_frequency * kilo; in tsc_init()
515 uint32_t cpuid_vmm_tsc_frequency; member
1440 info_p->cpuid_vmm_tsc_frequency = reg[eax]; in cpuid_init_vmm_info()1449 DBG(" vmm_tsc_frequency : %u\n", info_p->cpuid_vmm_tsc_frequency); in cpuid_init_vmm_info()