diff --git a/src/system/kernel/real_time_clock.c b/src/system/kernel/real_time_clock.c
index 8a1de3914b..87b5b049ea 100644
--- a/src/system/kernel/real_time_clock.c
+++ b/src/system/kernel/real_time_clock.c
@@ -11,6 +11,7 @@
 #include <arch/real_time_clock.h>
 #include <real_time_clock.h>
 #include <real_time_data.h>
+#include <syscalls.h>
 
 #include <stdlib.h>