WX_VXRXDCTL
reg_val = rd32(wx, WX_VXRXDCTL(i));
wr32(wx, WX_VXRXDCTL(i), reg_val);
wr32m(wx, WX_VXRXDCTL(i),
srrctl = rd32m(wx, WX_VXRXDCTL(index),
wr32(wx, WX_VXRXDCTL(index), srrctl);
rxdctl = rd32(wx, WX_VXRXDCTL(reg_idx));
wr32(wx, WX_VXRXDCTL(reg_idx), rxdctl);