Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision 057d21af95b6d9e801a14c4a6e6e4a784ad3dfd7)
+++ kernel/generic/include/ipc/sysipc.h	(revision 18b5402c52a19cabb1ecd9b32bd8d5dc8862b22a)
@@ -38,5 +38,5 @@
 #include <ipc/ipc.h>
 #include <ipc/irq.h>
-#include <arch/types.h>
+#include <typedefs.h>
 
 unative_t sys_ipc_call_sync_fast(unative_t phoneid, unative_t method,