Searched refs:vex_R (Results 1 – 1 of 1) sorted by relevance
4140 uint_t vex_R = 1; in dtrace_disx86() local4417 vex_R = ((opcode3 & VEX_R) & 0x0F) >> 3; in dtrace_disx86()4427 if (vex_R == 0) in dtrace_disx86()4457 vex_R = (opcode3 & VEX_R) >> 3; in dtrace_disx86()4463 if (vex_R == 0) in dtrace_disx86()