Searched refs:vmx_get_instr_info_reg2 (Results 1 – 3 of 3) sorted by relevance
739 static inline int vmx_get_instr_info_reg2(u32 vmx_instr_info) in vmx_get_instr_info_reg2() function
5725 gpr_index = vmx_get_instr_info_reg2(vmx_instruction_info); in handle_invept()5806 gpr_index = vmx_get_instr_info_reg2(vmx_instruction_info); in handle_invvpid()
5972 gpr_index = vmx_get_instr_info_reg2(vmx_instruction_info); in handle_invpcid()