Constant x86_64::msr_index::VMX_BASIC_TRUE_CTLS

pub const VMX_BASIC_TRUE_CTLS: c_ulonglong = 0x80000000000000;