Index: uspace/lib/c/arch/mips32/include/libarch/faddr.h
===================================================================
--- uspace/lib/c/arch/mips32/include/libarch/faddr.h	(revision 2a7749d7cdfe920a4293c37d0e5d6658e7c6f75d)
+++ uspace/lib/c/arch/mips32/include/libarch/faddr.h	(revision 1c5c96d4230e002b6875752b4cbb87808a44b364)
@@ -36,5 +36,5 @@
 #define LIBC_mips32_FADDR_H_
 
-#include <sys/types.h>
+#include <types/common.h>
 
 #define FADDR(fptr)  ((uintptr_t) (fptr))