WX_TSC_1588_SDP
wr32ptp(wx, WX_TSC_1588_SDP(0),
wr32ptp(wx, WX_TSC_1588_SDP(1), WX_TSC_1588_SDP_FUN_SEL_TS0);