Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision d9ece1cb4b86e7a2d4c513bf4f6e95007768812f)
+++ kernel/generic/include/syscall/syscall.h	(revision 672b22e998fe4b44c45775aa265ee54ebdcc43dc)
@@ -93,5 +93,5 @@
 #ifdef KERNEL
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 typedef unative_t (*syshandler_t)(unative_t, unative_t, unative_t, unative_t,