idtfc3_timecounter_update
return idtfc3_timecounter_update(idtfc3, counter, now_ns);
return idtfc3_timecounter_update(idtfc3, counter, idtfc3->ns + sync_ns +
err = idtfc3_timecounter_update(idtfc3, 0, 0);