Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 2 of 2) sorted by relevance
222 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
703 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),6507 vmcs_read32(VMX_INSTRUCTION_INFO), &gva)) in nested_vmx_check_vmptr()7010 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()7053 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()7156 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()7205 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()9842 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()