X86_CR4_SMXE_BIT

Constant X86_CR4_SMXE_BIT 

Source
pub const X86_CR4_SMXE_BIT: u32 = 14;