Searched refs:cpuid_vmm_info (Results 1 – 4 of 4) sorted by relevance
146 cpuid_vmm_info()->cpuid_vmm_tsc_frequency, in tsc_init()147 cpuid_vmm_info()->cpuid_vmm_bus_frequency); in tsc_init()149 if (cpuid_vmm_info()->cpuid_vmm_tsc_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()155 tscFreq = (uint64_t)cpuid_vmm_info()->cpuid_vmm_tsc_frequency * kilo; in tsc_init()
1345 switch (cpuid_vmm_info()->cpuid_vmm_family) { in cpuid_vmm_family_string()1462 cpuid_vmm_info(void) in cpuid_vmm_info() function1474 return cpuid_vmm_info()->cpuid_vmm_family; in cpuid_vmm_family()1480 return cpuid_vmm_info()->cpuid_vmm_kvm_features; in cpuid_vmm_get_kvm_features()1486 return cpuid_vmm_info()->cpuid_vmm_applepv_features; in cpuid_vmm_get_applepv_features()
593 extern i386_vmm_info_t *cpuid_vmm_info(void);
398 cpuid_vmm_info()->cpuid_vmm_family != CPUID_VMM_FAMILY_NONE) { in lapic_init()