rd32ptp
rd32ptp(wx, WX_TSC_1588_STMPH);
regval |= (u64)rd32ptp(wx, WX_TSC_1588_STMPL);
regval |= (u64)rd32ptp(wx, WX_TSC_1588_STMPH) << 32;
tsynctxctl = rd32ptp(wx, WX_TSC_1588_CTL);
int_status = rd32ptp(wx, WX_TSC_1588_INT_ST);
timeh1 = rd32ptp(wx, WX_TSC_1588_SYSTIMH);
timel = rd32ptp(wx, WX_TSC_1588_SYSTIML);
timeh2 = rd32ptp(wx, WX_TSC_1588_SYSTIMH);
timel = rd32ptp(wx, WX_TSC_1588_SYSTIML);
regval = rd32ptp(wx, WX_TSC_1588_CTL);