Constant X64_EFER_SVME 

pub const X64_EFER_SVME: u64 = 0x0000000000001000;