Searched refs:vmx_instruction_info (Results 1 – 3 of 3) sorted by relevance
165 u32 vmx_instruction_info; member 589 *value = current_evmcs->vmx_instruction_info; in evmcs_vmread() 1091 current_evmcs->vmx_instruction_info = value; in evmcs_vmwrite()
180 u32 vmx_instruction_info;
6144 u32 vmx_instruction_info; in handle_invpcid() local6158 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invpcid()6159 gpr_index = vmx_get_instr_info_reg2(vmx_instruction_info); in handle_invpcid()6166 vmx_instruction_info, false, in handle_invpcid()