Constant x86defs::X64_EFER_SCE

pub const X64_EFER_SCE: u64 = 0x0000000000000001;