diff options
Diffstat (limited to 'drivers/arm')
-rw-r--r-- | drivers/arm/cci400/cci400.c | 2 | ||||
-rw-r--r-- | drivers/arm/pl011/pl011.c | 1 | ||||
-rw-r--r-- | drivers/arm/pl011/pl011_console.c | 1 |
3 files changed, 1 insertions, 3 deletions
diff --git a/drivers/arm/cci400/cci400.c b/drivers/arm/cci400/cci400.c index 02f7f95..af10f21 100644 --- a/drivers/arm/cci400/cci400.c +++ b/drivers/arm/cci400/cci400.c @@ -30,7 +30,7 @@ #include <cci400.h> #include <mmio.h> -#include <platform.h> +#include <platform_def.h> static inline unsigned long get_slave_iface_base(unsigned long mpidr) { diff --git a/drivers/arm/pl011/pl011.c b/drivers/arm/pl011/pl011.c index f12bd23..e296c23 100644 --- a/drivers/arm/pl011/pl011.c +++ b/drivers/arm/pl011/pl011.c @@ -29,7 +29,6 @@ */ #include <assert.h> -#include <platform.h> #include <pl011.h> void pl011_setbaudrate(unsigned long base_addr, unsigned int baudrate) diff --git a/drivers/arm/pl011/pl011_console.c b/drivers/arm/pl011/pl011_console.c index 06e357f..0e82aa2 100644 --- a/drivers/arm/pl011/pl011_console.c +++ b/drivers/arm/pl011/pl011_console.c @@ -30,7 +30,6 @@ #include <assert.h> #include <console.h> -#include <platform.h> #include <pl011.h> static unsigned long uart_base; |