x86_64::msr_index

Constant VMX_BASIC_64

Source 
pub const VMX_BASIC_64: c_ulonglong = 0x1000000000000;