From d3aa108acfdd414ce189eab63e2893432b4792d9 Mon Sep 17 00:00:00 2001
From: Patrick Rudolph <patrick.rudolph@9elements.com>
Date: Tue, 26 Nov 2024 09:40:15 +0100
Subject: [PATCH] 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 <patrick.rudolph@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/85317
Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
---
 src/drivers/ipmi/ocp/ipmi_ocp.h | 1 +
 1 file changed, 1 insertion(+)

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