dtrace_evex_adjust_z_opmask
dtrace_evex_adjust_z_opmask(x, 1, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 1, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 1, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 1, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 1, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 2, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 2, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 2, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 3, evex_byte3);
dtrace_evex_adjust_z_opmask(x, 3, evex_byte3);