Searched refs:CPUID_STDEXT2_OSPKE (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/arch/x86_64/machine/
H A Dspecialreg.h371 #define CPUID_STDEXT2_OSPKE 0x00000010 macro

Completed in 27 milliseconds