x86_64::msr_index

Constant EFER_SVME

Source 
pub const EFER_SVME: c_uint = 0x00001000;