diff options
author | Richard Braun <rbraun@sceen.net> | 2019-07-16 17:16:27 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2019-08-16 03:57:13 +0200 |
commit | cc6635c0d64e4970345a0451e1b9a2341d7f3f12 (patch) | |
tree | a3d208f676913bc7093e2545b10567ae75567690 | |
parent | 204eec9be03f53b93d0f732c967a623f8e0843ef (diff) |
Complete timer documentation
-rw-r--r-- | kern/timer.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kern/timer.h b/kern/timer.h index 9ebfd0e7..38dccfdc 100644 --- a/kern/timer.h +++ b/kern/timer.h @@ -38,6 +38,10 @@ struct timer; * Type for timer callbacks. * * These functions implement handler operations. + * + * Scheduling a timer synchronizes with handler operations on the same + * timer, and these operations synchronize with cancel operations on the + * same timer. */ typedef void (*timer_handler_fn_t)(struct timer *); |