1 files changed, 9 insertions, 0 deletions
diff --git a/common/timer.c b/common/timer.c
index 2006a6c..da4fd11 100644
--- a/common/timer.c
+++ b/common/timer.c
@@ -130,3 +130,12 @@ ticks_t nsecs_to_ticks(tunit_t nsecs)
 	ticks_t t = (nsecs * ticks_per_sec) / 1000000000;
 	return t == 0 ? 1 : t;
 }
+
+/* call to this function from exception handlers */
+void update_timers()
+{
+	struct timer *t = newest_timer();
+	remove_timer(t);
+
+	/* TODO: handle timer thread ID */
+}