Constant panda_sys::CPUID_7_0_ECX_OSPKE[−][src]

pub const CPUID_7_0_ECX_OSPKE: u32 = 16;