Index: uspace/lib/c/arch/ia64/include/libarch/faddr.h
===================================================================
--- uspace/lib/c/arch/ia64/include/libarch/faddr.h	(revision 2a7749d7cdfe920a4293c37d0e5d6658e7c6f75d)
+++ uspace/lib/c/arch/ia64/include/libarch/faddr.h	(revision cf13b1787530fe212a0ac74399fd6d4b0f096731)
@@ -36,5 +36,5 @@
 #define LIBC_ia64_FADDR_H_
 
-#include <sys/types.h>
+#include <types/common.h>
 
 /**
Index: uspace/lib/c/arch/ia64/include/libarch/fibril.h
===================================================================
--- uspace/lib/c/arch/ia64/include/libarch/fibril.h	(revision 2a7749d7cdfe920a4293c37d0e5d6658e7c6f75d)
+++ uspace/lib/c/arch/ia64/include/libarch/fibril.h	(revision cf13b1787530fe212a0ac74399fd6d4b0f096731)
@@ -39,5 +39,5 @@
 #include <align.h>
 #include <libarch/stack.h>
-#include <sys/types.h>
+#include <types/common.h>
 #include <libarch/fibril_context.h>