Searched refs:OSPKE (Results 1 – 2 of 2) sorted by relevance
1442 UINT32 OSPKE:1; member
623 PRINT_BIT_FIELD (Ecx, OSPKE); in CpuidStructuredExtendedFeatureFlags()