Constant x86defs::X64_EFER_NXE

source ยท 
pub const X64_EFER_NXE: u64 = 0x0000000000000800;