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