Constant x86_64::msr_index::VMX_BASIC_VMCS_SIZE_SHIFT

pub const VMX_BASIC_VMCS_SIZE_SHIFT: c_uint = 0x00000020;