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()
1370 switch (cpuid_vmm_info()->cpuid_vmm_family) { in cpuid_vmm_family_string()1487 cpuid_vmm_info(void) in cpuid_vmm_info() function1499 return cpuid_vmm_info()->cpuid_vmm_family; in cpuid_vmm_family()1505 return cpuid_vmm_info()->cpuid_vmm_kvm_features; in cpuid_vmm_get_kvm_features()1511 return cpuid_vmm_info()->cpuid_vmm_applepv_features; in cpuid_vmm_get_applepv_features()
593 extern i386_vmm_info_t *cpuid_vmm_info(void);
399 cpuid_vmm_info()->cpuid_vmm_family != CPUID_VMM_FAMILY_NONE) { in lapic_init()