Searched refs:VMX_INSTRUCTION_INFO (Results 1 – 3 of 3) sorted by relevance
219 VMX_INSTRUCTION_INFO = 0x0000440e, enumerator
588 case VMX_INSTRUCTION_INFO: in evmcs_vmread()1090 case VMX_INSTRUCTION_INFO: in evmcs_vmwrite()
4750 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()5351 vmcs_read32(VMX_INSTRUCTION_INFO), false, in nested_vmx_get_vmptr()5636 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread()5742 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite()5931 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst()5979 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()6060 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid()6421 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in nested_vmx_exit_handled_vmcs_access()