Searched refs:vex_R (Results 1 – 1 of 1) sorted by relevance
2953 uint_t vex_R = 1; in dtrace_disx86() local3091 vex_R = ((opcode3 & VEX_R) & 0x0F) >> 3; in dtrace_disx86()3101 if (vex_R == 0) in dtrace_disx86()3131 vex_R = (opcode3 & VEX_R) >> 3; in dtrace_disx86()3137 if (vex_R == 0) in dtrace_disx86()