diff options
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) |