Searched refs:last_read_time (Results 1 – 2 of 2) sorted by relevance
125 double last_read_time; /* Last time the clock was read */ member
531 if (simclock.local_time == simclock.last_read_time)534 simclock.last_read_time = simclock.local_time;