From cc6635c0d64e4970345a0451e1b9a2341d7f3f12 Mon Sep 17 00:00:00 2001 From: Richard Braun Date: Tue, 16 Jul 2019 17:16:27 +0200 Subject: Complete timer documentation --- kern/timer.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'kern/timer.h') 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 *); -- cgit v1.2.3