Searched refs:CPUID_INTC_ECX_7_0_OSPKE (Results 1 – 2 of 2) sorted by relevance
430 #define CPUID_INTC_ECX_7_0_OSPKE 0x00000010 /* OSPKE */ macro
4310 if (ecp->cp_ecx & CPUID_INTC_ECX_7_0_OSPKE) in cpuid_pass_basic()