Constant x86_64::msr_index::VMX_BASIC_64

pub const VMX_BASIC_64: c_ulonglong = 0x1000000000000;