diff options
author | Elyes Haouas <ehaouas@noos.fr> | 2022-10-07 10:08:53 +0200 |
---|---|---|
committer | Felix Held <felix-coreboot@felixheld.de> | 2022-10-26 16:38:45 +0000 |
commit | 69451f17a1138af9a982180d54249026a8edb92e (patch) | |
tree | ad6f3fe8b6df1adf0fd8e1d825684abd017f0941 | |
parent | 04c3b5a01650245e3e1cd8fa947e2d146d9126ed (diff) |
src/drivers: Clean up includes
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Change-Id: Ia40678019b2a54deb246dbfbf33ec37a8c3839e4
Reviewed-on: https://review.coreboot.org/c/coreboot/+/68206
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martin.roth@amd.corp-partner.google.com>
-rw-r--r-- | src/drivers/intel/gma/edid.h | 2 | ||||
-rw-r--r-- | src/drivers/mipi/panel.c | 1 | ||||
-rw-r--r-- | src/drivers/pc80/pc/i8259.c | 1 | ||||
-rw-r--r-- | src/drivers/pc80/rtc/mc146818rtc_boot.c | 4 | ||||
-rw-r--r-- | src/drivers/spi/bitbang.c | 1 | ||||
-rw-r--r-- | src/drivers/uart/uart8250io.c | 3 |
6 files changed, 10 insertions, 2 deletions
diff --git a/src/drivers/intel/gma/edid.h b/src/drivers/intel/gma/edid.h index 90d4c01c66..ee4906b45d 100644 --- a/src/drivers/intel/gma/edid.h +++ b/src/drivers/intel/gma/edid.h @@ -1,4 +1,6 @@ /* SPDX-License-Identifier: GPL-2.0-only */ +#include <stdint.h> + void intel_gmbus_read_edid(u8 *gmbus_mmio, u8 bus, u8 slave, u8 *edid, u32 edid_size); void intel_gmbus_stop(u8 *gmbus_mmio); diff --git a/src/drivers/mipi/panel.c b/src/drivers/mipi/panel.c index 9646ecaa86..7279d17b9a 100644 --- a/src/drivers/mipi/panel.c +++ b/src/drivers/mipi/panel.c @@ -3,6 +3,7 @@ #include <console/console.h> #include <delay.h> #include <mipi/panel.h> +#include <types.h> enum cb_err mipi_panel_parse_init_commands(const void *buf, mipi_cmd_func_t cmd_func) { diff --git a/src/drivers/pc80/pc/i8259.c b/src/drivers/pc80/pc/i8259.c index c6aaef34af..450f1749b8 100644 --- a/src/drivers/pc80/pc/i8259.c +++ b/src/drivers/pc80/pc/i8259.c @@ -3,6 +3,7 @@ #include <arch/io.h> #include <pc80/i8259.h> #include <console/console.h> +#include <stdint.h> /* Read the current PIC IRQ mask */ u16 pic_read_irq_mask(void) diff --git a/src/drivers/pc80/rtc/mc146818rtc_boot.c b/src/drivers/pc80/rtc/mc146818rtc_boot.c index 550a6027c0..6780c3a7ab 100644 --- a/src/drivers/pc80/rtc/mc146818rtc_boot.c +++ b/src/drivers/pc80/rtc/mc146818rtc_boot.c @@ -1,9 +1,9 @@ /* SPDX-License-Identifier: GPL-2.0-only */ -#include <stdint.h> #include <console/console.h> -#include <pc80/mc146818rtc.h> #include <fallback.h> +#include <pc80/mc146818rtc.h> +#include <stdint.h> #if CONFIG_MAX_REBOOT_CNT > 15 #error "CONFIG_MAX_REBOOT_CNT too high" diff --git a/src/drivers/spi/bitbang.c b/src/drivers/spi/bitbang.c index 168ec64f33..8cb4b8689f 100644 --- a/src/drivers/spi/bitbang.c +++ b/src/drivers/spi/bitbang.c @@ -3,6 +3,7 @@ #include <console/console.h> #include <delay.h> #include <spi_bitbang.h> +#include <types.h> /* Set to 1 to dump all SPI transfers to the UART. */ #define TRACE 0 diff --git a/src/drivers/uart/uart8250io.c b/src/drivers/uart/uart8250io.c index 79df37ce93..7ca24529bc 100644 --- a/src/drivers/uart/uart8250io.c +++ b/src/drivers/uart/uart8250io.c @@ -2,7 +2,10 @@ #include <arch/io.h> #include <boot/coreboot_tables.h> +#include <commonlib/bsd/helpers.h> #include <console/uart.h> +#include <stdint.h> + #include "uart8250reg.h" /* Should support 8250, 16450, 16550, 16550A type UARTs */ |