VMX_INSTRUCTION_INFO
EVMCS1_FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info,
vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmcs_read32(VMX_INSTRUCTION_INFO), false,
u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO);
u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO);
u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
return vmx_get_instr_info_reg(vmcs_read32(VMX_INSTRUCTION_INFO));
case VMX_INSTRUCTION_INFO:
case VMX_INSTRUCTION_INFO: