Searched refs:vmx_instr_info (Results 1 – 1 of 1) sorted by relevance
712 static inline int vmx_get_instr_info_reg(u32 vmx_instr_info) in vmx_get_instr_info_reg() argument714 return (vmx_instr_info >> 3) & 0xf; in vmx_get_instr_info_reg()717 static inline int vmx_get_instr_info_reg2(u32 vmx_instr_info) in vmx_get_instr_info_reg2() argument719 return (vmx_instr_info >> 28) & 0xf; in vmx_get_instr_info_reg2()