From 69451f17a1138af9a982180d54249026a8edb92e Mon Sep 17 00:00:00 2001
From: Elyes Haouas <ehaouas@noos.fr>
Date: Fri, 7 Oct 2022 10:08:53 +0200
Subject: [PATCH] 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>
---
 src/drivers/intel/gma/edid.h            | 2 ++
 src/drivers/mipi/panel.c                | 1 +
 src/drivers/pc80/pc/i8259.c             | 1 +
 src/drivers/pc80/rtc/mc146818rtc_boot.c | 4 ++--
 src/drivers/spi/bitbang.c               | 1 +
 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 */