Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision 26aafe8d909ecb61306a77910aeb374da3814391)
+++ kernel/arch/amd64/src/userspace.c	(revision 26e7d6da331e8d35b5e83880a9740de5e9e4bd99)
@@ -38,7 +38,6 @@
 #include <typedefs.h>
 #include <arch.h>
-#include <proc/uarg.h>
+#include <abi/proc/uarg.h>
 #include <mm/as.h>
-
 
 /** Enter userspace