pub const CPUID_7_0_ECX_OSPKE: u32 = 16;