diff --git a/src/drivers/ipmi/ocp/ipmi_ocp.h b/src/drivers/ipmi/ocp/ipmi_ocp.h
index d02eb35449..83b8ba33df 100644
--- a/src/drivers/ipmi/ocp/ipmi_ocp.h
+++ b/src/drivers/ipmi/ocp/ipmi_ocp.h
@@ -5,6 +5,7 @@
 
 #include <commonlib/bsd/cb_err.h>
 #include <device/pci_type.h>
+#include <stddef.h>
 
 #define IPMI_NETFN_OEM				0x30
 #define  IPMI_OEM_SET_PPIN			0x77