Constant VMCS_RO_VMX_INSTR_INFO 

pub const VMCS_RO_VMX_INSTR_INFO: uint32_t = 0x0000440e;