Constant X64_EFER_FFXSR 

pub const X64_EFER_FFXSR: u64 = 0x0000000000004000;