WX_PSR_1588_CTL
tsyncrxctl = rd32(wx, WX_PSR_1588_CTL);
regval = rd32(wx, WX_PSR_1588_CTL);
wr32(wx, WX_PSR_1588_CTL, regval);