diff options
| author | Elyes Haouas <ehaouas@noos.fr> | 2022-10-10 11:27:56 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2022-10-17 13:42:01 +0000 |
| commit | 9efe34a3960c7186cc3f88e442aaaf5d789a019f (patch) | |
| tree | be31a3e66feec0b0418e19801a0d026d6b8bbca6 | |
| parent | bc4b85f371cd28e1e430d4abd8992a079af6a64e (diff) | |
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>
| -rw-r--r-- | src/mainboard/ocp/deltalake/ipmi.c | 1 | ||||
| -rw-r--r-- | src/mainboard/ocp/deltalake/ipmi.h | 2 | ||||
| -rw-r--r-- | src/mainboard/ocp/deltalake/ramstage.c | 18 |
3 files changed, 13 insertions, 8 deletions
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" |