WX_VXTXDCTL
wr32(wx, WX_VXTXDCTL(i), WX_VXTXDCTL_FLUSH);
wr32(wx, WX_VXTXDCTL(reg_idx), WX_VXTXDCTL_FLUSH);
wr32(wx, WX_VXTXDCTL(reg_idx), txdctl);
1000, 10000, true, wx, WX_VXTXDCTL(reg_idx));