Searched refs:CPUID_INTC_ECX_HV (Results 1 – 2 of 2) sorted by relevance
129 #define CPUID_INTC_ECX_HV 0x80000000 /* Hypervisor */ macro
641 if ((cp.cp_ecx & CPUID_INTC_ECX_HV) != 0) { in determine_platform()