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 +
 1 file changed, 1 insertion(+)

(limited to 'src/drivers/pc80/pc')

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