Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision eda4323867bf5a8e98aa598c3cca1e3fb59f4e7a)
+++ kernel/generic/src/time/clock.c	(revision f43d8cef17ca84bb86ea598fe7053f90fc5d9fa0)
@@ -59,4 +59,5 @@
 #include <ddi/ddi.h>
 #include <arch/cycle.h>
+#include <preemption.h>
 
 /* Pointer to variable with uptime */