pub const X86_CR4_SMXE_BIT: u32 = 14; // 14u32