summaryrefslogtreecommitdiff
path: root/src/drivers/ipmi
diff options
context:
space:
mode:
authorElyes HAOUAS <ehaouas@noos.fr>2019-12-01 13:21:52 +0100
committerKyösti Mälkki <kyosti.malkki@gmail.com>2019-12-19 03:19:05 +0000
commit4f66cb9b2867bcdeb47df9fe76e8893d53f85fb8 (patch)
treeeacfb00a128411354e5aa6cb192ceecbf935e57d /src/drivers/ipmi
parent3917904878ca1cfc16b553a1ba9e87922dc7e030 (diff)
src: Add missing include <types.h>
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>
Diffstat (limited to 'src/drivers/ipmi')
-rw-r--r--src/drivers/ipmi/ipmi_ops.c1
1 files changed, 1 insertions, 0 deletions
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)