Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 6 of 6) sorted by relevance
92 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),
4674 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12() 5286 vmcs_read32(VMX_INSTRUCTION_INFO), false, in nested_vmx_get_vmptr() 5571 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() 5677 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() 5866 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst() 5914 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept() 5995 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid() 6349 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in nested_vmx_exit_handled_vmcs_access()
5863 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invpcid()
219 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
588 case VMX_INSTRUCTION_INFO: in evmcs_vmread() 1090 case VMX_INSTRUCTION_INFO: in evmcs_vmwrite()
318 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator