Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 5 of 5) sorted by relevance
90 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),
253 EVMCS1_FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info,
3766 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()4354 vmcs_read32(VMX_INSTRUCTION_INFO), false, in nested_vmx_get_vmptr()4622 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()4710 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()4894 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()4939 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()4998 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid()5323 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in nested_vmx_exit_handled_vmcs_access()
5488 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invpcid()
272 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator