diff options
Diffstat (limited to 'drivers')
| -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 | ||||
| -rw-r--r-- | drivers/io/io_fip.c | 2 |
4 files changed, 3 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; diff --git a/drivers/io/io_fip.c b/drivers/io/io_fip.c index 8ed7f47..36788a2 100644 --- a/drivers/io/io_fip.c +++ b/drivers/io/io_fip.c @@ -29,6 +29,7 @@ */ #include <assert.h> +#include <bl_common.h> #include <debug.h> #include <errno.h> #include <firmware_image_package.h> @@ -36,6 +37,7 @@ #include <io_fip.h> #include <io_storage.h> #include <platform.h> +#include <platform_def.h> #include <stdint.h> #include <string.h> #include <uuid.h> |