Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 2 of 2) sorted by relevance
176 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
503 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),5224 vmcs_read32(VMX_INSTRUCTION_INFO), &gva)) in handle_vmclear()5360 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()5403 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()5486 vmcs_read32(VMX_INSTRUCTION_INFO), &gva)) in handle_vmptrld()5538 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()6935 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);