Constant VMX_BASIC_VMCS_SIZE_SHIFT

pub const VMX_BASIC_VMCS_SIZE_SHIFT: c_uint = 0x00000020;