WX_VXTXDCTL_FLUSH
wr32(wx, WX_VXTXDCTL(i), WX_VXTXDCTL_FLUSH);
wr32(wx, WX_VXTXDCTL(reg_idx), WX_VXTXDCTL_FLUSH);