From 0a7c73d2e06172a1210e2bbdfba5718040f4f007 Mon Sep 17 00:00:00 2001 From: Richard Braun Date: Mon, 25 Jun 2018 20:50:13 +0200 Subject: kern/timer: add comment about timer_schedule --- kern/timer.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kern/timer.h b/kern/timer.h index 43b7d90f..02b5bef7 100644 --- a/kern/timer.h +++ b/kern/timer.h @@ -71,6 +71,8 @@ void timer_init(struct timer *timer, timer_fn_t fn, int flags); * * If the timer has been canceled, this function does nothing. A * canceled timer must be reinitialized before being scheduled again. + * + * This function may safely be called in interrupt context. */ void timer_schedule(struct timer *timer, uint64_t ticks); -- cgit v1.2.3