Index: uspace/lib/c/arch/ia64/include/libarch/elf_linux.h
===================================================================
--- uspace/lib/c/arch/ia64/include/libarch/elf_linux.h	(revision 585635856440deab73ad5891daab8fa87901aa68)
+++ uspace/lib/c/arch/ia64/include/libarch/elf_linux.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -37,5 +37,5 @@
 
 #include <libarch/istate.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 typedef struct {
Index: uspace/lib/c/arch/ia64/include/libarch/fibril.h
===================================================================
--- uspace/lib/c/arch/ia64/include/libarch/fibril.h	(revision 585635856440deab73ad5891daab8fa87901aa68)
+++ uspace/lib/c/arch/ia64/include/libarch/fibril.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -36,5 +36,5 @@
 #define LIBC_ia64_FIBRIL_H_
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <align.h>
 #include <libarch/stack.h>
Index: uspace/lib/c/arch/ia64/include/libarch/fibril_context.ag
===================================================================
--- uspace/lib/c/arch/ia64/include/libarch/fibril_context.ag	(revision 585635856440deab73ad5891daab8fa87901aa68)
+++ uspace/lib/c/arch/ia64/include/libarch/fibril_context.ag	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -31,5 +31,8 @@
         includes : [
                 {
-                        include : <sys/types.h>
+                        include : <stddef.h>
+                },
+                {
+                        include : <stdint.h>
                 }
         ],
Index: uspace/lib/c/arch/ia64/include/libarch/tls.h
===================================================================
--- uspace/lib/c/arch/ia64/include/libarch/tls.h	(revision 585635856440deab73ad5891daab8fa87901aa68)
+++ uspace/lib/c/arch/ia64/include/libarch/tls.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -38,5 +38,4 @@
 #define CONFIG_TLS_VARIANT_1
 
-#include <sys/types.h>
 
 /* This structure must be exactly 16 bytes long */
Index: uspace/lib/c/arch/ia64/src/stacktrace.c
===================================================================
--- uspace/lib/c/arch/ia64/src/stacktrace.c	(revision 585635856440deab73ad5891daab8fa87901aa68)
+++ uspace/lib/c/arch/ia64/src/stacktrace.c	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -35,5 +35,5 @@
  */
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <stdbool.h>
 #include <errno.h>
