From ea66b3dd3a3f2f6b37058a3cef601818b1d0a94d Mon Sep 17 00:00:00 2001
From: Aaron Lindsay <aaron@aclindsay.com>
Date: Sun, 30 Sep 2012 22:51:06 -0400
Subject: [PATCH] pl11[01]: use types.h instead of own uint32 typedef

---
 devices/pl110.c | 3 +--
 devices/pl111.c | 3 +--
 2 files changed, 2 insertions(+), 4 deletions(-)

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