Searched refs:vmx_instr_info (Results 1 – 1 of 1) sorted by relevance
720 static inline int vmx_get_instr_info_reg(u32 vmx_instr_info) in vmx_get_instr_info_reg() argument722 return (vmx_instr_info >> 3) & 0xf; in vmx_get_instr_info_reg()725 static inline int vmx_get_instr_info_reg2(u32 vmx_instr_info) in vmx_get_instr_info_reg2() argument727 return (vmx_instr_info >> 28) & 0xf; in vmx_get_instr_info_reg2()