diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2019-12-01 13:21:52 +0100 |
|---|---|---|
| committer | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2019-12-19 03:19:05 +0000 |
| commit | 4f66cb9b2867bcdeb47df9fe76e8893d53f85fb8 (patch) | |
| tree | eacfb00a128411354e5aa6cb192ceecbf935e57d /src/drivers/ipmi | |
| parent | 3917904878ca1cfc16b553a1ba9e87922dc7e030 (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.c | 1 |
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) |