Searched refs:vmx_instr_info (Results 1 – 1 of 1) sorted by relevance
735 static inline int vmx_get_instr_info_reg2(u32 vmx_instr_info) in vmx_get_instr_info_reg2() argument737 return (vmx_instr_info >> 28) & 0xf; in vmx_get_instr_info_reg2()