Constant x86defs::X64_EFER_SVME

pub const X64_EFER_SVME: u64 = 0x0000000000001000;