Symbol: ptp_ocp_ts_irq