Brian Gianforcaro eeb5318c25 Kernel: Expose timers via a TimerId type ...

The public consumers of the timer API shouldn't need to know
the how timer id's are tracked internally. Expose a typedef
instead to allow the internal implementation to be protected
from potential churn in the future.

It's also just good API design.

2020-04-27 11:14:41 +02:00

29 KiB

Raw Blame History

View Raw