Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 2 of 2) sorted by relevance
226 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
773 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),6751 vmcs_read32(VMX_INSTRUCTION_INFO), false, &gva)) in nested_vmx_check_vmptr()7253 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()7301 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()7402 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()7451 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()7509 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid()10464 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()