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/acpi/acpi_device.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/include/acpi/acpi_device.h')

diff --git a/src/include/acpi/acpi_device.h b/src/include/acpi/acpi_device.h
index 6287ba1672..be13bd7ec8 100644
--- a/src/include/acpi/acpi_device.h
+++ b/src/include/acpi/acpi_device.h
@@ -4,8 +4,8 @@
 #define __ACPI_ACPI_DEVICE_H__
 
 #include <device/i2c.h>
-#include <stdint.h>
 #include <spi-generic.h>
+#include <types.h>
 
 enum acpi_dp_type {
 	ACPI_DP_TYPE_UNKNOWN,
-- 
cgit v1.2.3