Searched refs:hv_high (Results 1 – 3 of 3) sorted by relevance
75 extern u_int hv_high;
172 u_int hv_high; variable1432 hv_high = regs[0]; in identify_hypervisor_cpuid_base()
126 if (hv_high >= 0x40000010) { in tsc_freq_vmware()