Searched refs:OSPKE (Results 1 – 25 of 55) sorted by path
123
10 #OSPKE
1 #name: i386 OSPKE insns
1 # Check OSPKE instructions.
32 #OSPKE
2 #name: x86-64 OSPKE insns
3723 // OSPKE instructions.3728 // OSPKE instructions end.
635 PRINT_BIT_FIELD (Ecx, OSPKE); in CpuidStructuredExtendedFeatureFlags()
1497 UINT32 OSPKE:1; member