From 9efe34a3960c7186cc3f88e442aaaf5d789a019f Mon Sep 17 00:00:00 2001
From: Elyes Haouas <ehaouas@noos.fr>
Date: Mon, 10 Oct 2022 11:27:56 +0200
Subject: mb/ocp/deltalake: Clean up includes

Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Change-Id: If68ce4fef69a2466e76fc7fc504c00ee915e3e36
Reviewed-on: https://review.coreboot.org/c/coreboot/+/68254
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Marc Jones <marc@marcjonesconsulting.com>
---
 src/mainboard/ocp/deltalake/ipmi.c     |  1 +
 src/mainboard/ocp/deltalake/ipmi.h     |  2 +-
 src/mainboard/ocp/deltalake/ramstage.c | 18 +++++++++++-------
 3 files changed, 13 insertions(+), 8 deletions(-)

(limited to 'src/mainboard')

diff --git a/src/mainboard/ocp/deltalake/ipmi.c b/src/mainboard/ocp/deltalake/ipmi.c
index d990b87e80..1e553c0d24 100644
--- a/src/mainboard/ocp/deltalake/ipmi.c
+++ b/src/mainboard/ocp/deltalake/ipmi.c
@@ -5,6 +5,7 @@
 #include <drivers/ipmi/ipmi_ops.h>
 #include <drivers/ipmi/ocp/ipmi_ocp.h>
 #include <drivers/vpd/vpd.h>
+#include <types.h>
 
 #include "ipmi.h"
 #include "vpd.h"
diff --git a/src/mainboard/ocp/deltalake/ipmi.h b/src/mainboard/ocp/deltalake/ipmi.h
index 269fc034d5..0b33ca479c 100644
--- a/src/mainboard/ocp/deltalake/ipmi.h
+++ b/src/mainboard/ocp/deltalake/ipmi.h
@@ -3,7 +3,7 @@
 #ifndef DELTALAKE_IPMI_H
 #define DELTALAKE_IPMI_H
 
-#include <stdint.h>
+#include <types.h>
 
 #define IPMI_OEM_GET_PCIE_CONFIG		0xf4
 #define IPMI_OEM_GET_BOARD_ID			0x37
diff --git a/src/mainboard/ocp/deltalake/ramstage.c b/src/mainboard/ocp/deltalake/ramstage.c
index 8d762dc98f..fb81e10962 100644
--- a/src/mainboard/ocp/deltalake/ramstage.c
+++ b/src/mainboard/ocp/deltalake/ramstage.c
@@ -1,22 +1,26 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <assert.h>
+#include <commonlib/bsd/helpers.h>
 #include <console/console.h>
+#include <cpu/cpu.h>
+#include <cpxsp_dl_gpio.h>
+#include <device/device.h>
+#include <device/pci_def.h>
+#include <device/pci_ops.h>
 #include <drivers/ipmi/ipmi_ops.h>
 #include <drivers/ocp/dmi/ocp_dmi.h>
 #include <drivers/vpd/vpd.h>
+#include <hob_iiouds.h>
+#include <hob_memmap.h>
 #include <security/intel/txt/txt.h>
+#include <smbios.h>
 #include <soc/ramstage.h>
 #include <soc/soc_util.h>
+#include <soc/util.h>
 #include <stdio.h>
 #include <string.h>
-#include <smbios.h>
-#include <device/pci_def.h>
-#include <device/pci_ops.h>
-#include <soc/util.h>
-#include <hob_iiouds.h>
-#include <hob_memmap.h>
-#include <cpxsp_dl_gpio.h>
+#include <types.h>
 
 #include "ipmi.h"
 #include "vpd.h"
-- 
cgit v1.2.3