[coreboot-gerrit] [XS] Change in coreboot[main]: drivers/ipmi/ocp: Add missing include

[Patrick Rudolph (Code Review)]

Patrick Rudolph has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/85317?usp=email )

Change subject: drivers/ipmi/ocp: Add missing include
......................................................................

drivers/ipmi/ocp: Add missing include

Include stddef.h to fix the compiler error when using ipmi_ocp.h:
src/drivers/ipmi/ocp/ipmi_ocp.h:199:44: error: unknown type name 'size_t'

Change-Id: Iccd131295263460a4939e51e12ece87ea22c417c
Signed-off-by: Patrick Rudolph 
---
M src/drivers/ipmi/ocp/ipmi_ocp.h
1 file changed, 1 insertion(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/17/85317/1

diff --git a/src/drivers/ipmi/ocp/ipmi_ocp.h b/src/drivers/ipmi/ocp/ipmi_ocp.h
index d02eb35..83b8ba3 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