Constant X64_EFER_FFXSR

pub const X64_EFER_FFXSR: u64 = 0x0000000000004000;