Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 4 of 4) sorted by relevance
268 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
274 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
250 EVMCS1_FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info,
1172 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),8232 vmcs_read32(VMX_INSTRUCTION_INFO), false, &gva)) in nested_vmx_get_vmptr()8705 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()8764 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()8927 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()8969 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()9032 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid()9116 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invpcid()9596 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in nested_vmx_exit_handled_vmcs_access()13100 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()