dtrace_evex_adjust_bcast
dtrace_evex_adjust_bcast(x, 0, vex_W, wbit, evex_b);
dtrace_evex_adjust_bcast(x, 1, vex_W, wbit, evex_b);