Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 6 of 6) sorted by relevance
92 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),
264 EVMCS1_FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info,
4749 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()5374 vmcs_read32(VMX_INSTRUCTION_INFO), false, in nested_vmx_get_vmptr()5659 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()5765 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()5954 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()6002 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()6083 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid()6444 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in nested_vmx_exit_handled_vmcs_access()
6071 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invpcid()6222 return vmx_get_instr_info_reg(vmcs_read32(VMX_INSTRUCTION_INFO)); in vmx_get_msr_imm_reg()
219 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
321 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator