Searched refs:cpuid_vmm_bus_frequency (Results 1 – 3 of 3) sorted by relevance
147 cpuid_vmm_info()->cpuid_vmm_bus_frequency); in tsc_init()150 cpuid_vmm_info()->cpuid_vmm_bus_frequency) { in tsc_init()151 busFreq = (uint64_t)cpuid_vmm_info()->cpuid_vmm_bus_frequency * kilo; in tsc_init()
514 uint32_t cpuid_vmm_bus_frequency; member
1441 info_p->cpuid_vmm_bus_frequency = reg[ebx]; in cpuid_init_vmm_info()1448 DBG(" vmm_bus_frequency : %u\n", info_p->cpuid_vmm_bus_frequency); in cpuid_init_vmm_info()