WX_TSC_1588_CTL
tsynctxctl = rd32ptp(wx, WX_TSC_1588_CTL);
regval = rd32ptp(wx, WX_TSC_1588_CTL);
wr32ptp(wx, WX_TSC_1588_CTL, regval);