diff --git a/kernel-src/include/kernel/abi.h b/kernel-src/include/kernel/abi.h
index 9f06d0a5..283646cb 100644
--- a/kernel-src/include/kernel/abi.h
+++ b/kernel-src/include/kernel/abi.h
@@ -199,4 +199,8 @@ typedef struct {
 
 #define HOST_NAME_MAX 64
 
+#define CLOCK_REALTIME 0
+#define CLOCK_MONOTONIC 1
+#define CLOCK_BOOTTIME 7
+
 #endif
diff --git a/kernel-src/sys/syscalls/clockget.c b/kernel-src/sys/syscalls/clockget.c
index c1b87aa6..38d3a3f9 100644
--- a/kernel-src/sys/syscalls/clockget.c
+++ b/kernel-src/sys/syscalls/clockget.c
@@ -4,10 +4,6 @@
 #include <kernel/timekeeper.h>
 #include <kernel/vmm.h>
 
-#define CLOCK_REALTIME 0
-#define CLOCK_MONOTONIC 1
-#define CLOCK_BOOTTIME 7
-
 syscallret_t syscall_clockget(context_t *, int clockid, timespec_t *tp) {
 	syscallret_t ret = {
 		.ret = -1
diff --git a/kernel-src/sys/syscalls/clockgetres.c b/kernel-src/sys/syscalls/clockgetres.c
index 5e8b305a..562e55a8 100644
--- a/kernel-src/sys/syscalls/clockgetres.c
+++ b/kernel-src/sys/syscalls/clockgetres.c
@@ -1,10 +1,7 @@
 #include <kernel/syscalls.h>
 #include <time.h>
 #include <kernel/usercopy.h>
-
-#define CLOCK_REALTIME 0
-#define CLOCK_MONOTONIC 1
-#define CLOCK_BOOTTIME 7
+#include <kernel/abi.h>
 
 syscallret_t syscall_clock_getres(context_t *, int clockid, timespec_t *res) {
 	syscallret_t ret;