Searched refs:vex_R (Results 1 – 1 of 1) sorted by relevance
2965 uint_t vex_R = 1; in dtrace_disx86() local3103 vex_R = ((opcode3 & VEX_R) & 0x0F) >> 3; in dtrace_disx86()3113 if (vex_R == 0) in dtrace_disx86()3143 vex_R = (opcode3 & VEX_R) >> 3; in dtrace_disx86()3149 if (vex_R == 0) in dtrace_disx86()