Index: uspace/drv/char/pl050/pl050_hw.h
===================================================================
--- uspace/drv/char/pl050/pl050_hw.h	(revision b19e892c22afbf67aa5988554dd3f003efeadc04)
+++ uspace/drv/char/pl050/pl050_hw.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -37,5 +37,5 @@
 #define PL050_HW_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 typedef struct {