Searched refs:hv_high (Results 1 – 6 of 6) sorted by relevance
66 KVM_CPUID_FEATURES_LEAF <= hv_high); in kvm_cpuid_features_leaf_supported()
74 extern u_int hv_high;
129 if (hv_high < 0x40000010) in tsc_freq_cpuid_vm()157 KASSERT(hv_high >= 0x40000003, ("Invalid max hypervisor leaf on Xen")); in tsc_freq_xen()
175 u_int hv_high; variable1428 hv_high = regs[0]; in identify_hypervisor_cpuid_base()
918 if (hv_high < 0x40000010) in lapic_calibrate_initcount_cpuid_vm()
283 if (hv_high < hv_base + 2) { in xen_early_init()