From 5817c56d193515d39f402ac95104b10f6de6e41f Mon Sep 17 00:00:00 2001
From: Elyes HAOUAS <ehaouas@noos.fr>
Date: Sun, 12 Jul 2020 09:03:22 +0200
Subject: src/include: Add missing includes

Change-Id: I746ea7805bae553a146130994d8174aa2e189610
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/43368
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
---
 src/include/pc80/i8259.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/include/pc80')

diff --git a/src/include/pc80/i8259.h b/src/include/pc80/i8259.h
index c3d0a93b5e..9268cd11fa 100644
--- a/src/include/pc80/i8259.h
+++ b/src/include/pc80/i8259.h
@@ -3,6 +3,8 @@
 #ifndef PC80_I8259_H
 #define PC80_I8259_H
 
+#include <stdint.h>
+
 /*
  * IRQ numbers and common usage
  * If an IRQ does not say it is 'Reserved'
-- 
cgit v1.2.3