Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision 586cd564257e1db0066856695738f5c081b52050)
+++ kernel/arch/amd64/src/userspace.c	(revision 24ab58b348754b301fea741628d74d49704735d6)
@@ -36,5 +36,5 @@
 #include <arch/cpu.h>
 #include <arch/pm.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch.h>
 #include <proc/uarg.h>