mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-15 15:32:07 +00:00
The count value can be used to batch timeouts. I.e., if a periodic timeout triggered multiple times before the timer had a chance to process them, the count corresponds to the number of passed periods.