expand notifications into interrupt handlers

+ Terminology is still a bit poor, and will still have to write
  documentation + implement ipis properly

1 files changed, 7 insertions, 2 deletions

diff --git a/src/timer.c b/src/timer.c
index 474d995..5af03e8 100644
--- a/src/timer.c
+++ b/src/timer.c
@@ -16,12 +16,13 @@
  */
 
 #include <kmi/sp_tree.h>
+#include <arch/timer.h>
 #include <kmi/string.h>
+#include <kmi/notify.h>
 #include <kmi/nodes.h>
 #include <kmi/utils.h>
 #include <kmi/timer.h>
 #include <kmi/debug.h>
-#include <arch/timer.h>
 #include <arch/cpu.h>
 
 /** Timer resolution. */
@@ -199,5 +200,9 @@ void handle_timer()
 	struct timer *t = newest_timer();
 	remove_timer(t);
 
-	/** \todo handle timer thread ID */
+	struct tcb *r = get_tcb(t->tid);
+	if (!r)
+		return;
+
+	notify(r);
 }