Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 3714e798ef2924b952664a38e4d79dd5605f73b8)
+++ kernel/arch/ia64/src/ia64.c	(revision a347a110d7ea83c8d45c6874cb10eb949d5d595c)
@@ -50,5 +50,5 @@
 #include <userspace.h>
 #include <console/console.h>
-#include <proc/uarg.h>
+#include <abi/proc/uarg.h>
 #include <syscall/syscall.h>
 #include <ddi/irq.h>