mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-10 21:01:49 +00:00
parent
5136d9ddc7
commit
89f0717df6
@ -45,7 +45,7 @@ void Timer::Connection::_update_real_time()
|
||||
unsigned long volatile new_us = elapsed_us();
|
||||
|
||||
/* do not proceed until the time difference is at least 1 us */
|
||||
if (new_us == _us) { continue; }
|
||||
if (new_us == _us || new_ts == _ts) { continue; }
|
||||
remote_time_trials++;
|
||||
|
||||
/*
|
||||
|
Loading…
x
Reference in New Issue
Block a user