Kevin O'Connor db0fb5d596 linux: Avoid calling timer_read_time() in timer_dispatch() when not needed
The timer_read_time() call can be expensive - when the next timer is
definitely pending, avoid making that call.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
2021-04-18 13:12:32 -04:00
..
2021-03-18 14:45:12 -04:00
2021-04-07 13:06:13 -04:00
2021-03-01 14:53:13 -05:00
2021-03-01 14:53:13 -05:00
2020-12-04 16:10:13 -05:00
2019-08-06 18:56:53 -04:00