diff --git a/devices/pl110.c b/devices/pl110.c
index b7d516a..2a1419c 100644
--- a/devices/pl110.c
+++ b/devices/pl110.c
@@ -18,10 +18,9 @@
     51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  */
 
+#include <types.h>
 #include <framebuffer.h>
 
-typedef unsigned int		uint32;
-
 #define PL110_CR_EN		0x001
 #define PL110_CR_PWR		0x800
 #define PL110_IOBASE		0xc0000000
diff --git a/devices/pl111.c b/devices/pl111.c
index 7fc0728..666d309 100644
--- a/devices/pl111.c
+++ b/devices/pl111.c
@@ -18,10 +18,9 @@
     51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  */
 
+#include <types.h>
 #include <framebuffer.h>
 
-typedef unsigned int		uint32;
-
 #define PL111_CR_EN		0x001
 #define PL111_CR_PWR		0x800
 #define PL111_IOBASE		0x10020000