WX_TSC_1588_STMPH
rd32ptp(wx, WX_TSC_1588_STMPH);
regval |= (u64)rd32ptp(wx, WX_TSC_1588_STMPH) << 32;