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: 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/pc80/pc/i8259.c             | 1 +
 src/drivers/pc80/rtc/mc146818rtc_boot.c | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/drivers/pc80')

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"
-- 
cgit v1.2.3