Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 2 of 2) sorted by relevance
226 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
758 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),6647 vmcs_read32(VMX_INSTRUCTION_INFO), false, &gva)) in nested_vmx_check_vmptr()7149 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()7192 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()7293 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()7342 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()7401 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid()10254 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()