Constant x86defs::X64_EFER_FFXSR

source ยท 
pub const X64_EFER_FFXSR: u64 = 0x0000000000004000;