From 4f66cb9b2867bcdeb47df9fe76e8893d53f85fb8 Mon Sep 17 00:00:00 2001
From: Elyes HAOUAS <ehaouas@noos.fr>
Date: Sun, 1 Dec 2019 13:21:52 +0100
Subject: src: Add missing include <types.h>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Change-Id: Iabe55bfbc8e047c0791c21d162767081a181b6c5
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37411
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
---
 src/drivers/i2c/ptn3460/ptn3460.h | 2 +-
 src/drivers/ipmi/ipmi_ops.c       | 1 +
 src/ec/lenovo/h8/bluetooth.c      | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/drivers/i2c/ptn3460/ptn3460.h b/src/drivers/i2c/ptn3460/ptn3460.h
index 4b9834eb9d..f8242f8aef 100644
--- a/src/drivers/i2c/ptn3460/ptn3460.h
+++ b/src/drivers/i2c/ptn3460/ptn3460.h
@@ -16,7 +16,7 @@
 #ifndef _I2C_PTN3460_H_
 #define _I2C_PTN3460_H_
 
-#include <stdint.h>
+#include <types.h>
 
 #define PTN_EDID_OFF		0x00
 #define PTN_EDID_LEN		0x80
diff --git a/src/drivers/ipmi/ipmi_ops.c b/src/drivers/ipmi/ipmi_ops.c
index 8a189bdbe1..a53929a29a 100644
--- a/src/drivers/ipmi/ipmi_ops.c
+++ b/src/drivers/ipmi/ipmi_ops.c
@@ -17,6 +17,7 @@
 #include <console/console.h>
 #include "ipmi_ops.h"
 #include <string.h>
+#include <types.h>
 
 enum cb_err ipmi_init_and_start_bmc_wdt(const int port, uint16_t countdown,
 				uint8_t action)
diff --git a/src/ec/lenovo/h8/bluetooth.c b/src/ec/lenovo/h8/bluetooth.c
index c3a2555780..436b319084 100644
--- a/src/ec/lenovo/h8/bluetooth.c
+++ b/src/ec/lenovo/h8/bluetooth.c
@@ -18,6 +18,7 @@
 #include <device/device.h>
 #include <ec/acpi/ec.h>
 #include <option.h>
+#include <types.h>
 
 #include "h8.h"
 #include "chip.h"
-- 
cgit v1.2.3