pub const X86_CR4_SMXE_BIT: u32 = 14;